code: def get_all_pred_and_expr_from_enc_cnf(enc_cnf):
      all_exprs = set()
      all_pred = set()
      for pred in enc_cnf.encoding.keys():
          if isinstance(pred, AppliedPredicate):
              all_pred.add(pred)
              for expr in pred.arguments:
                  all_exprs.add(expr)
  
      return all_pred, all_exprs
  
file_path: sympy/sympy/assumptions/lra_satask.py
imports: from sympy.assumptions.assume import global_assumptions
  from sympy.assumptions.cnf import CNF, EncodedCNF
  from sympy.assumptions.ask import Q
  from sympy.logic.inference import satisfiable
  from sympy.logic.algorithms.lra_theory import UnhandledInput, ALLOWED_PRED
  from sympy.matrices.kind import MatrixKind
  from sympy.core.kind import NumberKind
  from sympy.assumptions.assume import AppliedPredicate
  from sympy.core.mul import Mul
  from sympy.core.singleton import S
label_desc: Use image node_id 5 for calling a global function with example usage: get_all_pred_and_expr_from_enc_cnf(enc_cnf) and returns: all_pred,  all_exprs