Structs

This pass optimizes something like

Statics

CALLSITE 🔒
CALLSITE 🔒
META 🔒
META 🔒

Functions

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