Fix bug when ommiting some postconditions
Added VerificationCondition.toString
InductionTactic + some better position of VCs
Debugging fix
Added support for more output
Restructured test suite, more options etc.
Renew test cases, add content to many