Structs

This pass optimizes something like

Functions

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