8.2.2-5 Analysis of Step Logic

The CBP should evaluate the logic of each procedure step and show the results to the user.

Additional Information:
Procedure steps often contain logical relationships; for example, actions are to be performed if an identified set of conditions exists. The analysis of these logical relationships must be carefully verified to avoid underspecification. This occurs when the logic used to resolve a procedure step is too simplified, and does not address all of the considerations that users do when evaluating the step.