Affine

Enforces that variables are used at most once, allowing for optimizations such as memory reuse.