test-models/symres_dup_extern_same_ns/symres_dup_extern_same_ns.dzn:2:1: error: identifier `T' defined before
test-models/symres_dup_extern_same_ns/symres_dup_extern_same_ns.dzn:1:1: info: previous `T' definition here
