Fixed https://github.com/frenetic-lang/pyretic/issues/27