Added NullSerializerFactory as dummy-serializer for the termination criterion