[NTG-context] subformulas numbering doesn't work