Generalise get_subexpression_at_offset to extract parts of members#3167

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:get_subexpr-parts-of-memberstautschnig/cbmc:get_subexpr-parts-of-membersCopy head branch name to clipboard