test-models/symres_subint_inverted/symres_subint_inverted.dzn:1:1: error: subint `S' has empty range
