Optimization of a compiler from PDDL to Picat (Short Paper)