Added constraint printer