Add wdd test case, update basic_block ite