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