relax COnstraint base & DomainFaithFulness