With Clauses

This is a new type of clause that compares attribute values.

procedure.procName, call.procName, variable.varName, read.varName, print.varName: NAME

constant.value: INTEGER

stmt.stmt#, read.stmt#, print.stmt#, call.stmt#, while.stmt#, if.stmt#, assign.stmt#: INTEGER