Closed NatKarmios closed 7 months ago
Before merging I'd like to run bi-abduction and check that the results are those we had in the CSE paper, the rewriting you made is quite error-prone given state and af state are the same type, and that can cause spurious bugs e.g. when using record update syntax
(we tested, and it's consistent with master)