add constraints to statements