in progress: tracing PExpr