This seems excessive to me.  I would rather highlight the places where session state is modified than places where it is not.