Function isAssignabilityProblem