Small change for constraints with type checker