Subset memoization alone does not help...
-- Since EBL stores only the parts of the goal set that cause the failure
it requires the ability to check if a stored memo is a superset of the
-- However, subset memo-checking is not by itself enough to bring
impressive savings in Graphplan performance