some modifications to testPPDDL.cpp