List<OVInstance> ovInstanceList = new ArrayList<OVInstance>();
ContextNodeEvaluator avaliator = new ContextNodeEvaluator(kb);
//1 Evaluate if the context node attend to restrictions and fill the ovinstancelist
if(!avaliator.testContextNodeFormatRestriction(contextNode)){
throw new ImplementationRestrictionException(
ImplementationRestrictionException.INVALID_CTXT_NODE_FORMULA);
};
Collection<OrdinaryVariable> contextOrdinaryVariableList = contextNode.getVariableList();