xaiger: add testcase