Remove deprecated add_axioms_for_concat function#8913

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-8013-add_axioms_for_concattautschnig/cbmc:fix-8013-add_axioms_for_concatCopy head branch name to clipboard