Improved the output of the "link" command. It now shows counter-examples *and* examples (if any available).