constraints checker