fun test reg w =
      let val fa = regToFA reg
      in FA.accepted fa w = superAccepted fa w end;