let depth_of_literal_subst (literal: literal) (subst: subst) (offset: int) =
  depth_of_term_subst subst literal.Term.atom offset 0