Remove deprecated add_axioms_for_is_suffix method#8916

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

tautschnig:fix-8020-add_axioms_for_is_suffixtautschnig/cbmc:fix-8020-add_axioms_for_is_suffixCopy head branch name to clipboard