Tracing now includes values for binders/patterns in MatchExpr