Remove deprecated add_axioms_from_long method#8918

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

tautschnig:fix-8021-add_axioms_from_longtautschnig/cbmc:fix-8021-add_axioms_from_longCopy head branch name to clipboard