heuristic planner based on UPMurphi