Implement CHOICE-DIST for <GREEDY-POLICY>