Weak
Dep
width
Primitive
withIf
Focus
withInst
Focus
withJump
Focus
withLabel
Focus
withOp
Focus
withRet
Focus
withSwitch
Focus
withThrow
Focus
withValue
Focus