Link to XML schema for counterxample path