switch( opts.propagator() ) {
case SparkOptions.propagator_iter:
propagator[0] = new PropIter( pag );
break;
case SparkOptions.propagator_worklist:
propagator[0] = new PropWorklist( pag );
break;
case SparkOptions.propagator_cycle:
propagator[0] = new PropCycle( pag );
break;
case SparkOptions.propagator_merge: