New testcase that crashes ADCE