Lists are coma-separated (,).
Identifiers are any strings starting with a letter, and containing only letters, digits and underscore symbol, excepting the following keywords:
and constrain compare cuts cnf del dnf else exec exist false forall help high if in ite implies let list low nor not or print quit reed restrict root set size syntax then true xor
The sequence // starts a comment, which ends at the next new-line. The sequence /* starts a comment, which ends at the next */ sequence.