Enumerating test cases by multiplying state machines | Hacker News Reader