implement some localopt rules for And(Cmp(a,0), Cmp(b,0))