make fixindex take the loop var and condition, instead of the fun sym
now inferring simple trip counts correctly