Added a test case for minimizing FSMs (requires multiple passes)