lusy/lala-subgoal-discovery not found