In reply to Tudor Timi:
sidharth.sankar77,
Can you post a complete short example to see if you’ve made any mistakes. Also, I do not think the first term “binsof(cA) intersect {1, 2} &&” because that would be true for any bin tuple.
In reply to Tudor Timi:
sidharth.sankar77,
Can you post a complete short example to see if you’ve made any mistakes. Also, I do not think the first term “binsof(cA) intersect {1, 2} &&” because that would be true for any bin tuple.