remove_asm now guarantees that functions called exist#2642

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

remove_asm_fixdiffblue/cbmc:remove_asm_fixCopy head branch name to clipboard