let
is_fd_literal (literal: literal) : bool =
is_fd_term literal.atom