Inserting constraints on variables