Value flow: refactorings, write debug warning if iterating too far