Out-of-date commentary in Tc.Deriv.Infer
The commentary there talks about creating a variable
unsolved, which does not seem to exist.
In addition, the partition below creates
bad, which is just ignored. Maybe this is right -- I have not thought about it. But if it is right, it should be documented.