Create new example
Merge remote-tracking branch 'origin/pvj/main' into assistant-rewrite
Remove ABooleanPatternAssistantTC as it was an empty class. No methods inside.
Cleaning up assistant's methods.
Changing to non-static access of methods.
more non-static access of methods changes.
more non-static changes.
Also some commenting out of unused methods in assistants.
more non-static access changes.
Add and delete System.out.println for debug
modify filename from TestSuite.java to Converter.java
more changing of static access.
clean up on assistants
non static access changes.
non-static access changing methods.
remove static identifier from method unresolve on PPatternAssistantTC.
Clean up, missed commented out methods.
remove more static access.
more non-static access changes.
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