unroll loop of preInv
check if empty