returned loopy.symbolic.CoefficientCollector to initial state, instead using modified coeff collector (that ignores denom in floor div) locally in stats gatherer; also created corresponding test