let request_var (var: var) : term =
  let new_term =
    Var var
  in
    request_term new_term