The planner based on egg is slower than simply enumerating states and also incorrect on some edge cases (e.g. when a state is both an input and output state). It and the egg_planner feature should be removed form fud-core.