public void test_DMP(){
System.out.println("*** DMP ***");
long time = System.nanoTime();
CPSCompilerMain.This().InitCompiler();
UDB2SDB uToS = new UDB2SDB();
uToS.convert(pn);
CPSCompilerMain.This().compile(//"defineEvidence( isShipOfInterest__ship3, true );"+
//"defineEvidence( Z, 3 );"+
//"defineEvidence( A, a1 );"+
"defineEvidence(hasWeaponVisible_ship1, True);"+
"defineEvidence(isJettisoningCargo_ship1, True);"+