@top A { A }

A { "a" }

//! Duplicate definition
