{<F_Declaration> = {<Omega_Formula> = {
      myChildren = {<Omega_Sequence<Omega_Formula *>> = {<Omega_Collection<Omega_Formula *>> = {
            _vptr.Omega_Collection<Omega_Formula *> = 0x80e5280}, <No data fields>}, contents = 0x0}, myParent = 0x8604ca8, myRelation = 0x8604ca8, 
      _vptr.Omega_Formula = 0x80e5600}, 
    myLocals = {<Omega_Sequence<Var_Decl *>> = {<Omega_Collection<Var_Decl *>> = {_vptr.Omega_Collection<Var_Decl *> = 0x80e4a40}, <No data fields>}, sz = 0, 
      alloc_sz = 0, prealloc_min = 20, prealloc_pad = 5, data = 0x0}}, 
  mappedVars = {<Omega_Sequence<Var_Decl *>> = {<Omega_Collection<Var_Decl *>> = {_vptr.Omega_Collection<Var_Decl *> = 0x80e4a40}, <No data fields>}, sz = 0, 
    alloc_sz = 0, prealloc_min = 20, prealloc_pad = 5, data = 0x0}, 
  n_open_constraints = 0, cols_ordered = false, simplified = false, 
  verified = false, guaranteed_leading_0s = -1, possible_leading_0s = -1, 
  leading_dir = 0, exact = true, r_constrs = 0, problem = 0x8604dd8, 
  comp_problem = 0x0}