Report problems with Grapher, CAS and User Interface

[compsystems]

I have detected another problem
if
(a<b)+c [enter] (b+c)>(c+a) // ok
then why

(-4<-3)+1 [enter] 2 ? is expected (-4+1<-3+1) => (-3 < -2)

does it fail?

is not applying the transformation rule (a<b)+c = (b+c)>(c+a)

Is evaluating Boolean logically first an algebraic error or not?