compiler: Fix mis-merging of predicate assertions

All predicate assertions were candidates for merging with each other.
This is clearly incorrect and caused to type checks to be incorrectly
removed.