"SubsessionEvaluateCells" is a front end token that evaluates the selected cells in a kernel subsession.
TraceScan[f, expr] applies f to all expressions used in the evaluation of expr. TraceScan[f, expr, form] includes only those expressions which match form. TraceScan[f, expr, ...
HoldRest is an attribute which specifies that all but the first argument to a function are to be maintained in an unevaluated form.
HoldFirst is an attribute which specifies that the first argument to a function is to be maintained in an unevaluated form.
TraceDepth is an option for Trace and related functions which specifies the maximum nesting of evaluation chains that are to be included.
"FindEvaluatingCell" is a front end token that finds the currently evaluating cell.
SequenceHold is an attribute that specifies that Sequence objects appearing in the arguments of a function should not automatically be flattened out.
TraceOn
(Built-in Mathematica Symbol) TraceOn is an option for Trace and related functions which specifies when tracing should be switched on.
$IterationLimit gives the maximum length of evaluation chain used in trying to evaluate any expression.
TraceOff is an option for Trace and related functions which specifies forms inside which tracing should be switched off.