[NTG-context] Side effects with \startformula \stopformula