Added a probabilistic switch for all binary operators.