MODIFIES

open fun MODIFIES(): TerminalNode