This pass optimizes something like
Returns true if computing the discriminant of place may be hoisted out of the branch
place
