semantic: Forbid non declarative scope escape.