Adding pattern simplifier