test_dot_merger和test_dot_merger_pass在CI和本地环境中会随机出现segmentation fault错误，导致单测随机挂，经排查后发现是ginac库相关的问题，现避免使用MathIsZero绕过