fun superAccepted fa w =
      let val start     = FA.startState fa
          val accepting = FA.acceptingStates fa
          val qs        = FA.processStr fa (Set.sing start, w)
      in Set.isNonEmpty qs andalso SymSet.subset(qs, accepting) end;