Added Dzugaru's equal function pruning.