Save up ILP rewritings so that they can be applied to loop bounds and bound-like expressions