Added semantic analysis of nonlocal declarations