functor (Value : Datatype.S) (Domain : Domain->   sig     val store_computed_call :       Cil_types.kernel_function ->       Mem_exec2.Domain.t ->       Value.t Eval.or_bottom list ->       (Mem_exec2.Domain.t, Mem_exec2.Domain.return, Value.t) Eval.call_result ->       unit     val reuse_previous_call :       Cil_types.kernel_function ->       Mem_exec2.Domain.t ->       Value.t Eval.or_bottom list ->       ((Mem_exec2.Domain.t, Mem_exec2.Domain.return, Value.t)        Eval.call_result * int)       option   end