| "{" { read_code false (Ast.Substs.create ()) (ref 1) lexbuf }
| "@{" { read_code true (Ast.Substs.create ()) (ref 1) lexbuf }
| "goal" { GOAL }
| "{" { read_code false (Ast.Substs.create ()) (ref 1) lexbuf }
| "@{" { read_code true (Ast.Substs.create ()) (ref 1) lexbuf }
| "goal" { GOAL }