https://123dok.org/document/7qv6k40y-a-parametric-hierarchical-planner-for-experimenting-abstraction-techniques.html