added modular constraints checker