level + reason of boolean variables in DOmainFaithfulness