- -- if currentIP `S.member` visited
- -- then Looped (machineAcc machine)
- -- else if currentIP == programSize
- -- then Terminated (machineAcc machine)
- -- else if currentIP > programSize
- -- then OutOfBounds (machineAcc machine) currentIP
- -- else executeMany visited' machine'