Checked that Package declaration has not been defined yet. Fixes #424