Add pre/post conditions to Parse and Simplify to detect misuse.