let rec is_skolem_free_literal (literal: literal) : bool =
  is_skolem_free_term literal.atom