let add_atom lit = let var, negated = make_var lit in if negated then var.na else var.pa