let
vars_of_literal (literal: literal) : var list =
vars_of_term literal.atom