reduce debug chatter
context opt for <, currently disabled
symmetric case for spreading phis over less
fix wrong order of comparison
some hacky rewrites for if/else
note on fixindex. why do we need to subtract 1?
debug
add > 0 cond for invariant strides
disable unused case
loop var summation case
eval: use unmodified store from before loop as zero case
check file: 4A now has all loops removed