I < 0 || i > -1 wrongly folded as i >u -1 Reviewed-by: kvn
X <= 0 || x > 0 wrongly folded as (x-1) >u -1 Reviewed-by: kvn, vlivanov