Replace iterator with const value_type& in output_instruction signature#1493

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/output-instruction-const-refreuk/cbmc:reuk/output-instruction-const-refCopy head branch name to clipboard