Subtask generator (used by the CEGAR heuristic).
goals
goals(order=HADD_DOWN)
order ({ORIGINAL, RANDOM, HADD_UP, HADD_DOWN}): ordering of goal or landmark facts
landmarks
landmarks(order=HADD_DOWN, combine_facts=true)
order ({ORIGINAL, RANDOM, HADD_UP, HADD_DOWN}): ordering of goal or landmark facts
combine_facts (bool): combine landmark facts with domain abstraction
original
original(copies=1)
copies (int [1, infinity]): number of task copies