private bool HasUnfixedTypes() { foreach (InferredType inferredType in _inferredTypes.Values) { if (!inferredType.Fixed) return true; } return false; }