Related content
Previous snippet
zero_input_parameters
      
          If the DecisionNode has no decisionInputFlow and an incoming ControlFlow, then any decisionInput Behavior has no in parameters.
       inv: (decisionInput<>null and decisionInputFlow=null and incoming-
       >exists(oclIsKindOf(ControlFlow))) implies
          decisionInput.inputParameters()->isEmpty()
    