The syntax is:
break <when>(<abstract-event>);
<when> = before | after
<abstract-event> can be the name of a match variable or the identifier select that points to the abstract event selected by clicking the mouse button.
The statement
break after(select);sets a consistent global breakpoint after the selected abstract event. For a detailed discussion on setting abstract event based breakpoints, refer to [][].
The user can place any number of breakpoints as long as the global states resulting from two breakpoints do not conflict [].