Extra assert in IncompressibleNavierStokes