ignoring the output of the coconut simplifier, everything is parsed
otherwise