test-models/symres_subint_compare_bool/symres_subint_compare_bool.dzn:5:5: error: type mismatch: expected `S', found: `<unknown type>'
test-models/symres_subint_compare_bool/symres_subint_compare_bool.dzn:6:17: error: type mismatch in binary operator: `S' versus `bool'
