refactoring of evaluation user_stack;