let
is_input_literal (literal: literal) : bool =
is_input_term literal.atom