add more test for prim propagation; fix bugs in exp compare