Editing: ClosureScope.php