If you import multiple conflicting definitions for your *.v files, Libero resolves the conflicts as shown below.