verify: ITouchSense: check: deadlock: ok
verify: ITouchSense: check: unreachable: ok
verify: ITouchSense: check: livelock: ok
verify: ITouchSense: check: deterministic: ok
verify: itimer: check: deadlock: ok
verify: itimer: check: unreachable: ok
verify: itimer: check: livelock: ok
verify: itimer: check: deterministic: ok
verify: itouch: check: deadlock: ok
verify: itouch: check: unreachable: ok
verify: itouch: check: livelock: ok
verify: itouch: check: deterministic: ok
verify: TouchSense: check: deterministic: ok
verify: TouchSense: check: illegal: ok
verify: TouchSense: check: deadlock: ok
verify: TouchSense: check: unreachable: ok
verify: TouchSense: check: livelock: ok
verify: TouchSense: check: compliance: ok
