Clean up code for pointer function parameters#853

Merged

tautschnig merged 2 commits intodiffblue:developfrom

owen-mc-diffblue:feature/pointer-function-parameters

Feb 21, 2018

Commits on Jun 19, 2017

Tidy up C symbol factory code
Owen Jones
committed
Move code into code block instead of copying it
Owen Jones
committed