The following ground terms can be used in the first
execution_state/2 (see Breakpoint Predicates). Alternatively, a list containing such terms
can be used. If a given condition occurs multiple times, only the last
one is considered. The order of conditions within the list does
Focus on the current invocation of break level BL. BL is the
break level number, the top-level being
For past break levels, the current invocation is the one from
which the next break level was entered.
Focus on the invocation number Inv of the currently focused break level.