Predicate signature InputSig::successorTypeIsSimple
Hold if t
represents simple (normal) evaluation of a statement or an
expression.
signature predicate successorTypeIsSimple(SuccessorType t)
Hold if t
represents simple (normal) evaluation of a statement or an
expression.
signature predicate successorTypeIsSimple(SuccessorType t)