Symbol: push_evaluation_mode