Added some tests for Hopcroft.lhs