MonadicSMemory.Liftval add_variables :
store:(string * vt) list ->
memory:t ->
is_gil_file:'a ->
get_new_scope_id:(unit -> int) ->
(int, Gillian.Debugger.Utils.Variable.t list) Stdlib.Hashtbl.t ->
Gillian.Debugger.Utils.Variable.scope list