Cleanup

impress_edsl/src/nl/uu/impress/Main.java

javawlp.cabal

src/API.hs

src/JavaHelpers/HelperFunctions.hs

src/JavaHelpers/Types.hs

src/LogicIR/Backend/QuickCheck/ModelGenerator.hs

src/LogicIR/Backend/QuickCheck/Test.hs

src/LogicIR/Backend/Z3/API.hs

src/LogicIR/Backend/Z3/Z3.hs

src/LogicIR/Expr.hs

src/LogicIR/Frontend/Java.hs

src/LogicIR/Normalizer.hs

src/LogicIR/ParserUtils.hs

src/LogicIR/TypeChecker.hs

src/Model.hs

src/Server.hs

stack.yaml

test/Spec.hs

test/TEquivalenceClasses.hs

test/TExamples.hs