Declare SoFar(A) invariant when A=A_1..A_n has been proven invariant#739

Merged

daniel-larraz merged 2 commits intokind2-mc:developfrom daniel-larraz:sofar-conseq

Apr 14, 2021

+241-48

Commits on Apr 13, 2021

Replace compare_pos with equal_pos when possible
daniel-larraz
committed
Declare SoFar(A) invariant when A=A_1..A_n has been proven invariant
daniel-larraz
committed