Tracing Object-Oriented Code into Functional Requirements