Fixed problem in reduce_b rule