working on restructuring OpInfo (to save name with it)
PROBCORE-612 The operation tuple returned to ProB 2.0 now contains the operation name.
PROBCORE-612 Only the parameters and return values are retrieved from Prolog
Merge branch 'feature/opRestructure' into develop