private bool DispatchUnreify(Equation eq, EqGoal goal)
 {
     if (eq == null) return false;
     return eq.UnReify(goal);
 }