Tests for property declarations with conflicting names