Updated to get the number of deployed object, which is used for the syncronization between CPU's.
Added the number of deployed object to each CPU main implementaion, and fields to the RemoteContract Implemenation
Update the RemoteContract generator, so it uses the data which is the output from the data generator, and not applies a visitor of is own to code generate the data. This gave problems when a function in VDM needed to be code generated.
Update so the RemoteContract implementaion also code generates the instance variables using the existing code genrator
First step towards enabling inhertage in distributed system
Added transformation of class declaration in a VDM-RT model, so they are transformed to their corresponding interface names.