Refactoring; Contrapositon works!

* remove errorstate and abstractstate
* parameterization of interpreter (related) classes
* package
* finished Rule and ProofScriptCommandBuilder
* VariableAssignment use Variable as key data type
* Contrapositon as test case
3 jobs for master in 2 minutes and 29 seconds (queued for 1 second)
Status Name Job ID Coverage
passed build #14132


passed deploy #14134


failed test #14133


Name Stage Failure
test Test There is an unknown failure, please try again
[ERROR] Please refer to /builds/xt9634/ProofScriptParser/target/surefire-reports for the individual test results.
[ERROR] -> [Help 1]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1]
ERROR: Job failed: exit code 1