Building Extended Canonizers by Graph-Based Deduction