fix(lean-imt): After a sequence of updates a proof is invalid.

fix(lean-imt): After a sequence of updates a proof is invalid. #180