Profiling: label the event condition

Before, we labelled the bind that was waiting for it, but that prevents
the viewer from simplifying it away.