Tests for the union of automatons added.