Lines Matching refs:x1938
1941 :extrapreds ((x1938))
9866 …not x84) (not x1846) (not x1845) (not x1852) (not x1853) (not x1854) (not x1855) (not x1507) x1938)
9867 :assumption (or (not x1938) x84)
9868 :assumption (or (not x1938) x1846)
9869 :assumption (or (not x1938) x1845)
9870 :assumption (or (not x1938) x1852)
9871 :assumption (or (not x1938) x1853)
9872 :assumption (or (not x1938) x1854)
9873 :assumption (or (not x1938) x1855)
9874 :assumption (or (not x1938) x1507)
9884 :assumption (or x1942 (not x1938))
9887 :assumption (or x1941 x1938 x1937 x1936 (not x1942))