Aaah, the joy of reliving computer science 101. I’m implementing epsilon closure computation. It’s like a state-space exploration with a state-space exploration for each step.