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)