make it check for non-unique names at the top level in -flint mode
make it check for non-unique names at the top level in -flint mode
shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc