Add xfailed test for #3707