Re: [Q] Transform safe calls to (= X Y Z) to (and (= X Y) (= Y Z)); same for < > <= >=