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

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