Working on DFA intersections