Replace get_mutable by goto_programt API function#362

kroening merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:no-get-mutabletautschnig/cbmc:no-get-mutableCopy head branch name to clipboard