semantic: Ensure variables aren't used before declaration.