xla

36bbbd11 - add the correctness check code from siyuan