helper for getting the function type used in function_application_exprt#5737

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

mathematical_function_applicationtdiffblue/cbmc:mathematical_function_applicationtCopy head branch name to clipboard