Tags: Notalib/MathCAT

Commented out 3 failing tests.

In discussions with Anders, we are still trying to work out the rationale for why they do what they do. He said the spec may need to change to be less ad-hoc. In the meantime, no one has complained in 2 years. Also, many more tests need to be added.

The tests were turned off for two years by accident. They are now back on.