add/modify test data for sequence
Add a method for distributed concatenation in VdmToBConverter.java and comment out System.err.println in BtoVdmConverter.java
create new test file
Add classes and a method for nat1
create/modify test file
create a method for quontifier exists1
added null check in class path builder
Merge branch 'origin/kel/astv2'
changed the way the class list interpreter access the assistant factory. (Needed for DESTECS)
removed unused import
Merge branch 'origin/his/solv'

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/VdmToBConverter.java
	core/modelcheckers/probsolver/src/test/java/org/overture/modelcheckers/probsolver/InspectBAst.java
fixes problem with rec to mk_type conversion. Field order was not controlled
added test option for SL init state field
added test for rec to mk converstion from B to VDM
changed classpath collector such that it only collects the classpath and returns it as a list