added op== to world; fixed write to print 'true' for empty world
added edge simplification to automaton