scalacheck tests for dfa