pub const clingo_warning_e_clingo_warning_atom_undefined: clingo_warning_e = 2;
!< undefined atom in program