join() values that are unordered on converging control flow edges.
this is not in the paper but it really seems to be necessary for
most lattices.