constraint needs to evaluate a var.