SWE.1.BP3 Analyze software requirements
SWE.1.O.2 Software requirements are categorized and analyzed for correctness and verifiability