Working on calculating set difference in dfas