fix splice into casedef test