frenetic-lang/frenetic — pull request #122 by reitblatt (2013-10-21 18:25:28+00:00)
Title: Kinder, simpler dehopification + faster optimization pass

No longer pukes on three policies in sequence...