minor
make value before loop iteration accessible to widening operator
optimize if/else if branches return same value
lub must split if/else only if already present
delta value should longer depend on loop var