Change and add some functions for ContextManager
so that it sounds more clear and meaningful
Implement the contextsStack for while operator