[NTG-context] How to reset numbers of formulas?