[NTG-context] Subtle problem with startformula