private void evaluateMFragInstance(MFragInstance mFragInstance, SimpleSSBNNode ssbnNode)
throws ImplementationRestrictionException, SSBNNodeGeneralException{
ISSBNLogManager logManager = ssbn.getLogManager();
if (logManager != null) {
logManager.printText(level2, true, "Evaluate MFragInstance" + mFragInstance);
}
// 1) Test if the MFragInstance already was evaluated
if(mFragInstance.isEvaluated()){
return; //Be careful here if you change the algorithm for search for
//mFragInstances equal to the that are evaluated... In this case