introduced likely_environment_global to formalize and simplify release semantics