Adapt add_axioms_for_insert for 5 arguments#698

romainbrenguier wants to merge 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

romainbrenguier:test-gen-support-bug-fix-110romainbrenguier/cbmc:test-gen-support-bug-fix-110Copy head branch name to clipboard