Structs

This pass optimizes something like

Functions

may_hoist 🔒

Returns true if computing the discriminant of place may be hoisted out of the branch