let
is_literal_var (literal: literal) : bool =
is_term_var literal.atom