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