[nexa] We need a new formulation of end-to-end analysis