Added a test checking that in a stay constraint the constant always equals the stay variable value.
Test failing.