HASH

open fun HASH(): TerminalNode