Added hashCode in Actions
All verifications units now verify an AbstractModel

Done to be common between the Model and DSLModel class.
Signature of the equals function changed
Fixed the Parameter warning in the test files
Added TODOs in SplitProof. This class is neither finished nor used
Removed Eclipse warnings in the DSL package
Removed the tree visualization since it slows down the model checking