codet representation of an inline assembler statement.
void copy(const codet &code, goto_program_instruction_typet type, goto_programt &dest)
void convert_asm(const code_asmt &code, goto_programt &dest)
A generic container class for the GOTO intermediate representation of one function.