let var_equal (var1: var) (var2: var) : bool =
  (var1.sv_offset == var2.sv_offset)
  &&
  (Var.equal var1.sv_var var2.sv_var)