test-models/symres_dup_iface_member_var_func/symres_dup_iface_member_var_func.dzn:4:5: error: identifier `x' defined before
test-models/symres_dup_iface_member_var_func/symres_dup_iface_member_var_func.dzn:5:5: info: previous `x' definition here
