SWE.4.BP6 Ensure consistency
SWE.4.O.4 Consistency and bidirectional traceability are established between software units, criteria for verification and verification results