Rename lambda_exprt to array_comprehension_exprt#4683

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

antlechner:antonia/rename-lambdaantlechner/cbmc:antonia/rename-lambdaCopy head branch name to clipboard