semantic: Correctly restrict scope escapes.