let get (subst: subst) (var: var) : term option =
  get' subst var.sv_var var.sv_offset