classical planning for non-classical formalisms, compilation