docs: def afw_nonuniversality_check(afw: dict) -> bool:
      """ Checks if the language read by the input AFW is different
      from Σ∗, returning True/False.
  
      The afw is translated into a nfa and then its nonuniversality
      is checked.
  
      :param dict afw: input AFW.
      :return: *(bool)*, True if input afw is nonuniversal, False
               otherwise.
      """
      nfa = afw_to_nfa_conversion(afw)
      return NFA.nfa_nonuniversality_check(nfa)