Now actually works on simple examples (vend and locker)