Working on producing the set difference of two automatons