def optimize(t, context):
    """optimize tree (node) *t* in *context*.
    
    The result is either the optimized tree, `True` to indicate
    the *t* has already been optimized or (for special cases only)
    a tuple with detailed information.
    """
