Fix soundness of "must" analyses.

Perform meet operation whenever a Value* has multiple incoming use chains