Add variable store of execute.ml