cns_solve {<cns-statement>} stop


<cns-statement> :==