[NTG-context] Subformula numbering problem