See setAttemptsAtGenericReduction
The object attemptsAtGenericReduction is a symbol.
The source of this document is in TorAlgebra.m2:1498:0.