checks added constraints remaining