isInstantiated
isInstantiatedTo

plus minor modifications
- remove useless interface IDecisionOperator
imports
Merge branch 'feature-inst' into develop