public boolean isForall() { if (subSolver != null) { return subSolver.isForall(); } else { return isChildForall; } }