Create new example
Add and delete System.out.println for debug
modify filename from TestSuite.java to Converter.java
Ignore .metadata directories (by jwc)
Merge commit '0b34aca1aef512756e49a063536c7dddca8a3516' into his/solv2

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/ProbSolverUtil.java
Add some methods for numerical expression
modify for test
Create for testing bool exps
add some numeric exps
create for testing set exps
Add some method for numeric, bool and set exps
modify prob expression
add some methods for sequence
create for test: trasnlation methods for sequence
Add test case
Create translation method for map data type
Create translation methods for map (dom, rng, mnuion, ++, merge, restrictions, apply)
Merge branch 'origin/his/solv'
disabled map tests
improved probsolver test case with better error message and display of the resulting vdm statement