Attempt to implement propagated constraings