Support of Intersection of Two ORed Sets without the function sameBranch