Add several more example optimization rules