[buffer] move simplify call to separate function to apply using ax-strategy
[simplify] add zigzag testcase for testing adt/xdt