Klockwork fixes: Distance field iteration