parameters.setParameterValue(LaskeyAlgorithmParameters.DO_INITIALIZATION, "true");
parameters.setParameterValue(LaskeyAlgorithmParameters.DO_BUILDER, "true");
parameters.setParameterValue(LaskeyAlgorithmParameters.DO_PRUNE, "true");
parameters.setParameterValue(LaskeyAlgorithmParameters.DO_CPT_GENERATION, "true");
new LaskeySSBNGenerator(parameters);
}
// load ubf/owl
try {
loadMebn();