Distinct propagator and getIntVarArgs.
Rebase