public abstract CategoricalDistribution multiplyByPOS(CategoricalDistribution multiplier, params RandomVariable[] prodVarOrder);