7.9.7 Options for Focusing on a Past State

The following ground terms can be used in the first argument of 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 not matter.

break_level(BL)
Focus on the current invocation of break level BL. BL is the break level number, the top-level being break_level(0). For past break levels, the current invocation is the one from which the next break level was entered.
inv(Inv)
Focus on the invocation number Inv of the currently focused break level.