Predicate AV Rule 201::stmtInForBody

predicate stmtInForBody(Stmt stmt, ForStmt forStmt)