code: def test_unhandled_input():
      nan = S.NaN
      bf = Q.gt(3, nan) & Q.gt(x, nan)
      enc = boolean_formula_to_encoded_cnf(bf)
      raises(
          ValueError,
          lambda: LRASolver.from_encoded_cnf(enc, testing_mode=True),
      )
  
      bf = Q.gt(3, I) & Q.gt(x, I)
      enc = boolean_formula_to_encoded_cnf(bf)
      raises(
          UnhandledInput,
          lambda: LRASolver.from_encoded_cnf(enc, testing_mode=True),
      )
  
      bf = Q.gt(3, float("inf")) & Q.gt(x, float("inf"))
      enc = boolean_formula_to_encoded_cnf(bf)
      raises(
          UnhandledInput,
          lambda: LRASolver.from_encoded_cnf(enc, testing_mode=True),
      )
  
      bf = Q.gt(3, oo) & Q.gt(x, oo)
      enc = boolean_formula_to_encoded_cnf(bf)
      raises(
          UnhandledInput,
          lambda: LRASolver.from_encoded_cnf(enc, testing_mode=True),
      )
  
      # test non-linearity
      bf = Q.gt(x**2 + x, 2)
      enc = boolean_formula_to_encoded_cnf(bf)
      raises(
          UnhandledInput,
          lambda: LRASolver.from_encoded_cnf(enc, testing_mode=True),
      )
  
      bf = Q.gt(cos(x) + x, 2)
      enc = boolean_formula_to_encoded_cnf(bf)
      raises(
          UnhandledInput,
          lambda: LRASolver.from_encoded_cnf(enc, testing_mode=True),
      )
  
imports: from sympy.core.numbers import Rational, I, oo
  from sympy.core.relational import Eq
  from sympy.core.symbol import symbols
  from sympy.core.singleton import S
  from sympy.matrices.dense import Matrix
  from sympy.matrices.dense import randMatrix
  from sympy.assumptions.ask import Q
  from sympy.logic.boolalg import And
  from sympy.abc import x, y, z
  from sympy.assumptions.cnf import CNF, EncodedCNF
  from sympy.functions.elementary.trigonometric import cos
  from sympy.external import import_module
  from sympy.logic.algorithms.lra_theory import LRASolver, UnhandledInput, LRARational, HANDLE_NEGATION
  from sympy.core.random import random, choice, randint
  from sympy.core.sympify import sympify
  from sympy.ntheory.generate import randprime
  from sympy.core.relational import StrictLessThan, StrictGreaterThan
  import itertools
  from sympy.testing.pytest import raises, XFAIL, skip
label_desc: Use image node_id 12 for calling a global function with example usage: test_unhandled_input() without return types