Step-by-step programs in CAS

[compsystems]

Hello, I'm trying the following code (Step-by-step), but I see something strange in the output, please run the following program

PHP Code:

#cas
    testInequality1():=
    begin
     local expr0;
     print;

     print("step1:");
     expr0 := '(3*x^2-2*x-2) < (2*x^2-3*x+4)';
     //expr0 :=  (3*x^2-2*x-2) < (2*x^2-3*x+4);
     print(string(expr0)); 
     print("");

     print("step2: +(-2*x^2)");
     expr0 := expr0 + -2*x^2;
     print(string(expr0)); 
     expr0 := simplify(expr0); // Requires a sentence more, of simplification.
     print("simplify → " +expr0);
     print("");

     print("step3: +(3*x)");
     expr0 := expr0 + 3*x;
     print(string(expr0)); 
     expr0 := simplify(expr0); 
     print("simplify → "+expr0);
     print("");

     print("step4: +(-4)");
     expr0 := expr0 + -4;
     print(string(expr0)); 
     expr0 := simplify(expr0); 
     print("simplify → "+expr0);
     print("");
#end 


testInequality();

[
expr0: (--­4+4)>(x^2+x--­4-2)
left: --­4+4
right: x^2+x--­4-2
]

This is expected
[0>(x^2+x-6), 0, x^2+x-6]