[NTG-context] Numbering subformulas broken?