sig   val compute_using_specification :     Kernel_function.t ->     Cil_types.funspec ->     call_kinstr:Cil_types.kinstr ->     with_formals:Cvalue.Model.t -> Value_types.call_result end