S3

open fun S3(): TerminalNode