run derclass.als

Runs forever.

"Too much of a good thing can be bad" --
this is a case of runaway skolemization:

(from debugging prints)
STATE COMPONENT: __result1012
3x3x3x3x3x3x3
totalSize=2187
STATE COMPONENT: __result1113
3x3x3x3x3x3x3
totalSize=2187
STATE COMPONENT: _a14


these arise from the highly-quantified facts at the
end of the model.

FIXED: disabled skolemizing inside universal quantifiers, which decreased the
number of variables allocated tremendously

