There's no need for indentation in the output anymore
deleting test files
Added input test file, a script to run the project and a model for cvc4