sig val call_stack : Cil_types.kernel_function Stack.t val compute_internal_using_cfg : Kernel_function.t -> Operational_inputs.t end