incremental DomainFaithFulness