Include list where using a std::list and drop forall_expr_list macro#1851

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:remove-expr-listttautschnig/cbmc:remove-expr-listtCopy head branch name to clipboard