Aggressively inline ST computations when STRefs are only used locally. Inline whileE and untilE.