Run until a fixpoint instead of just two times

(fixup commit)