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

Fixes #424