actionMissingTransitionForNode
open override fun actionMissingTransitionForNode(node: Node, fsm: DFA, interproceduralFlow: Boolean)(source)
Collects a finding if the node makes an operation which violates the desired order.