Added generated constraints to demonstrate what is going on behind the scenes