Ooops, checker code was wrongly counting. Fixing.
One more Removed check in Simplifier
A more clear way of getting the number of eliminated variables