removes trivial equations in ObservationalSequent instances fixes #51
Merge branch 'razor' of github.com:salmans/Razor into razor