allInferenceVariablesAreResolved