Minor refactoring
Minor refactoring: Java code style
Refactoring: Simplified Prover interface from un-implemented functionality
Added model class as return value for getModel
Adjusted PicoSATTest; Added toFormula for Model class