[CSE] add new_global_senv and new_local_senv