Module StateTracking::StateTracking

Predicates

appliesToNode

Holds if state may apply (with sense = true) or may not apply (with sense = false) to control flow node f given the context ctx.