let
top_symbol_literal (literal: literal) : symbol =
top_symbol_term literal.atom