Experimental

For example if two triggers listen on a variable that is changed by the new constraint