Unfolding a simulation

Nondeterminism, list monads, and dodgy heuristics

A lot of work to capture features of the problem