> In the logs for common-subexp you said > Normal primapps can't overflow. > What makes a primapp `normal'? A primapp is normal if it appears in a Statement as an Exp. In the old CPS world, these could overflow. In the new SSA world, they can't. Overflowing primapps have been moved to Transfers so that the control-flow is explicit.