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)
break_level(0)
.
For past break levels, the current invocation is the one from
which the next break level was entered.
inv(
Inv)