Algorithms.Strips
extractPlan
strips
class ActionType a
class Term b
data Action a b
data NodeInfo a b