Improving recursive matching of equality checking.