Infer.hs: Remove incorrect mzero's.  There are remaining problems with constraints going
to the wrong place and TopErr appearing on *all* worlds for treecall_1.

However, rather than fix these with this architecture, it's probably time to overhaul it.