PROBPLUGIN-69 Deleted old unnecessary model objects
All the classes are now available to serialize the EventB files for ProB 2.0 PROBCORE-69