add a SelectionDAG method to check if no common bits are set in two nodes; NFCI