higher-order cases of with_mode in millionaires.fst passes