Simulator
Give a literal optimiser enough ambiguity and permission. Observe the cheapest route to zero bugs.