let weight_of_literal_subst (literal: literal) (subst: subst) (offset: int) =
  weight_of_term_subst subst literal.Term.atom offset 0