return false;
}
problem.fix();
return true;
}
<BUG>}, ModelChecker.SEVERITY_ERROR, "Model properties"));
}</BUG>
});
monitor.done();
return results;

return false;
}
problem.fix();
return true;
}
}, ModelChecker.SEVERITY_ERROR, "Model properties"));
return true;
}
});
monitor.done();
return results;
