[NTG-context] subformulas: error in latest beta