name

AtLeastOneEmitted B FuncBlock M Molecule

needTraversal

EmptyOutputPatternF OtherOutputPatternF OutputPatternFlag

needTraversing

InputPatternFlag OtherInputPatternF

negation

ConjunctiveNormalForm

noCrossGuards

GuardPresenceFlag GuardPresent

noErrors

WarningsAndErrors

noRetry

Reaction

notReplyValue

InputPatternFlag ReplyVarF