partway to sanity on nate_convert
Merge branch 'verify' of github.com:frenetic-lang/frenetic into verify
Merge branch 'verify' of github.com:frenetic-lang/frenetic into verify
Merge branch 'verify' of github.com:frenetic-lang/frenetic into verify
minor changes