assertFa :: FilePath -> (Fa Symbol State -> Bool) -> Expectation
assertFa filePath condition =
  loadFa ("tests/Examples/" ++ filePath) >>= \fa ->
    case fa of
      Left parseError -> expectationFailure parseError
      Right fa -> fa `shouldSatisfy` condition
assertFa :: FilePath -> (Fa Symbol State -> Bool) -> Expectation
assertFa filePath condition =
  loadFa ("tests/Examples/" ++ filePath) >>= \fa ->
    case fa of
      Left parseError -> expectationFailure parseError
      Right fa -> fa `shouldSatisfy` condition
assertFa filePath condition =
  loadFa ("tests/Examples/" ++ filePath) >>= \fa ->
    case fa of
      Left parseError -> expectationFailure parseError
      Right fa -> fa `shouldSatisfy` condition