RIP R&R should only execute the transitions that are exclusively necessary to reach all states
RIP R&R should only execute the transitions that are exclusively necessary to reach all states