B ™‘[•ã@s8ddlmZmZddlmZmZddlmZdd„ZdS)é)Úprint_functionÚdivisioné)ÚexhaustÚ multiplex)Útop_downcGstttt|ƒŽƒS)zÌ Strategy for canonicalization Apply each branching rule in a top-down fashion through the tree. Multiplex through all branching rule traversals Keep doing this until there is no change. )rrÚmapr)Zrules©r ús