added three constructors to code_function_callt#2841

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

code_function_callt_constructorsdiffblue/cbmc:code_function_callt_constructorsCopy head branch name to clipboard