- | `Left -> si, StateSet.empty
- | `Right -> StateSet.empty, si
- | `Self -> StateSet.empty, StateSet.empty (* TODO WHAT? *)
+ | `Left -> StateSet.empty, si, StateSet.empty
+ | `Right -> StateSet.empty, StateSet.empty, si
+ | `Self -> si, StateSet.empty, StateSet.empty