test-models/symres_defer_captures_local/symres_defer_captures_local.dzn:5:39: error: cannot use local variable `x' as defer argument
test-models/symres_defer_captures_local/symres_defer_captures_local.dzn:5:39: info: variable `x' defined here
