let minus_v : literal =
  let term =
    request_func (
      Symbol.create_predicate
                    "__-v__" 1,
                    [| request_var v_par |]
    )
  in
    request_literal false term