Feasibility Study: Subgoal Graphs on State Lattices | AMiner