[DAGCombiner] teach how to simplify xor/and/or nodes according to the following rules: