data/haskell-presburger-1.3.1/src/Data/Integer/SAT.hs:316: elminate ==> eliminate data/haskell-presburger-1.3.1/src/Data/Integer/SAT.hs:316: mentiond ==> mentioned data/haskell-presburger-1.3.1/src/Data/Integer/SAT.hs:372: occurances ==> occurrences data/haskell-presburger-1.3.1/src/Data/Integer/SAT.hs:672: ans ==> and data/haskell-presburger-1.3.1/src/Data/Integer/SAT.hs:673: ans ==> and data/haskell-presburger-1.3.1/src/Data/Integer/SAT.hs:914: varibale ==> variable data/haskell-presburger-1.3.1/.pc/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch/src/Data/Integer/SAT.hs:312: elminate ==> eliminate data/haskell-presburger-1.3.1/.pc/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch/src/Data/Integer/SAT.hs:312: mentiond ==> mentioned data/haskell-presburger-1.3.1/.pc/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch/src/Data/Integer/SAT.hs:368: occurances ==> occurrences data/haskell-presburger-1.3.1/.pc/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch/src/Data/Integer/SAT.hs:668: ans ==> and data/haskell-presburger-1.3.1/.pc/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch/src/Data/Integer/SAT.hs:669: ans ==> and data/haskell-presburger-1.3.1/.pc/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch/src/Data/Integer/SAT.hs:908: varibale ==> variable data/haskell-presburger-1.3.1/.pc/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch/src/Data/Integer/SAT.hs:313: elminate ==> eliminate data/haskell-presburger-1.3.1/.pc/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch/src/Data/Integer/SAT.hs:313: mentiond ==> mentioned data/haskell-presburger-1.3.1/.pc/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch/src/Data/Integer/SAT.hs:369: occurances ==> occurrences data/haskell-presburger-1.3.1/.pc/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch/src/Data/Integer/SAT.hs:669: ans ==> and data/haskell-presburger-1.3.1/.pc/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch/src/Data/Integer/SAT.hs:670: ans ==> and data/haskell-presburger-1.3.1/.pc/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch/src/Data/Integer/SAT.hs:909: varibale ==> variable data/haskell-presburger-1.3.1/.pc/ghc-8.8.patch/src/Data/Integer/SAT.hs:316: elminate ==> eliminate data/haskell-presburger-1.3.1/.pc/ghc-8.8.patch/src/Data/Integer/SAT.hs:316: mentiond ==> mentioned data/haskell-presburger-1.3.1/.pc/ghc-8.8.patch/src/Data/Integer/SAT.hs:372: occurances ==> occurrences data/haskell-presburger-1.3.1/.pc/ghc-8.8.patch/src/Data/Integer/SAT.hs:672: ans ==> and data/haskell-presburger-1.3.1/.pc/ghc-8.8.patch/src/Data/Integer/SAT.hs:673: ans ==> and data/haskell-presburger-1.3.1/.pc/ghc-8.8.patch/src/Data/Integer/SAT.hs:912: varibale ==> variable