let plus_v : literal =
  let term =
    request_func (
      Symbol.create_predicate
                           "__+v__" 1,
                           [| request_var v_par |]
    )
  in
    request_literal true term