./test/VC/DuplicateType:3: validity error : Definition of a has duplicate references of c ^