fix incorrect and(Cmp(a,0),Cmp(b,0)) localopt