Fixed happens before relation to be the union of so and vis, and not subset of the union of so and vis
Merge branch 'master' of github.com:kayceesrk/ec-debug