spec/nodes/eq/test_and.rb in predicate-2.0.1 vs spec/nodes/eq/test_and.rb in predicate-2.1.0

@@ -12,7 +12,19 @@
       let(:right){ Factory.eq(:x, 3) }
 
       it{ should be_a(Contradiction) }
     end
 
+    context 'with an IN on same variable and literal' do
+      let(:right){ Factory.in(:x, [3,4]) }
+
+      it{ should be(left) }
+    end
+
+    context 'with an IN on same variable and opaque' do
+      let(:right){ Factory.in(:x, Factory.opaque([3,4])) }
+
+      it{ should be_a(And) }
+    end
+
   end
 end
\ No newline at end of file