extend scope in DomainFaithFulness seems ok