}
public void test10(){
CPSCompilerMain cpsCompiler = new CPSCompilerMain();
cpsCompiler.InitCompiler();
cpsCompiler.compile(
mk_uc3_withcontinuous_no_link_bnet +
"defineEvidence( cavitation, 12.166 );"+
"defineEvidence( shipRCSchange, 1.45468 );"+
"defineEvidence( propellerTurnCount, 1281.82 );"+
"run(DMP);" );