The variable .smart.prediction.counter in
smartpredenv
is incremented beforehand,
and .smart.prediction[[.smart.prediction.counter]] is
assigned the list smart.
If the list .smart.prediction in
smartpredenv
is not long enough
to hold smart, then it is made larger, and the variable
.max.smart in
smartpredenv
is adjusted accordingly.