change satisfies all and xproduct variables to intersect
Merge pull request #153 from projectcypress/satisfies_all_to_intersection

change satisfies all and xproduct variables to intersect