Adv3Lite: Index of Classes in precond.t