added equivalence block refinement logic of hopcroft algo