New rule encoding
Merge branch 'verify' of https://github.com/frenetic-lang/frenetic into verify