Replace Term Void with Closed Term in Scope