POSDOUBLE

open fun POSDOUBLE(): TerminalNode