boolean () { do { if (!reduceConstraints()) { //inference error occurred return false; } if (!myIncorporationPhase.incorporate()) { return false; } } while (!myIncorporationPhase.isFullyIncorporated() || myConstraintIdx < myConstraints.size()); return true; }