test-models/symres_fwd_subint_in_var/symres_fwd_subint_in_var.dzn:5:5: error: type mismatch: expected `C.S', found: `<unknown type>'
