docs: def afw_nonemptiness_check(afw: dict) -> bool:
      """ Checks if the input AFW reads any language other than the
      empty one, returning True/False.
  
      The afw is translated into a nfa and then its nonemptiness is
      checked.
  
      :param dict afw: input AFW.
      :return: *(bool)*, True if input afw is nonempty, False otherwise.
      """
      nfa = afw_to_nfa_conversion(afw)
      return NFA.nfa_nonemptiness_check(nfa)