Bug fix in AutomatonOperations.or. Automatons should be copied to avoid unwanted modifications.