case designators.length
                when 0
                when 1
                  raise Exceptions::InvalidSchemaError,
                    "proceeding from #{pp_machine(machine)}, the element