complete constructors for function_application_exprt#3048

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

function_application_exprt-constructorsdiffblue/cbmc:function_application_exprt-constructorsCopy head branch name to clipboard