Boogie
[Civl] Fixed bug in refinement check for actions (#853) The refinement check for actions was handling the frame condition correctly. Now the frame condition is handled in the same manner as the refinement check for procedures. Co-authored-by: Shaz Qadeer <[email protected]>