Predicate Of

Expression yielding the statement whose predicate to extract. Typically a VarRef to the loop variable of an iteration over AllStatements.