constraint.is_Linear is a lot faster now