JSON

open fun JSON(): TerminalNode