create methods to obtain map, an element from a set whose cardinary is 1 in BtoVdmConverter.java
added test for the default implicit expression compass needs
implemented the b to vdm construct unary minus
Merge branch 'origin/pvj/main'
Merge branch 'origin/his/solv'

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/BToVdmConverter.java
Merge branch 'origin/pvj/main'
changed the native link to prob to static. Only one machine config is being used at the moment so we dont need to re-init the machine. Major speed improvement
Made codegen compatible with new assistant archiecture
no message
excluded maven goal from eclipse
fixed null pointer errors after merging in new fix where static calls has been reduced
fixes #258
Added specification test for 'for index' statement
Added functionality for generating temporary variables names used in the generated Java code
Minor stuff: Code refactoring
Added generation of 'for index' statement
Fix for index conversion
Solve the problem with the removal of the static keyword
from PDefinitionListAssistant.singleDefinitions
Added utility functionality for file handling
Removed code that is not used anymore