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