start (lexer "if a then if a then a=b else a=c") :: [()]