1408 /* propagation list, size * numSuccedents */