some more profiling... "allSuccessors" :(