let request_negated_literal ?(insert_db:bool = true) (literal: literal) : literal =
  request_literal ~insert_db:insert_db (not literal.sign) literal.atom