Predicate signature InputSig::scopeFirst
Holds if first is executed first when entering scope.
signature predicate scopeFirst(CfgScope scope, AstNode first)Holds if first is executed first when entering scope.
signature predicate scopeFirst(CfgScope scope, AstNode first)