Distinct propagator and getIntVarArgs.