/* Test logicalAnd function directly */ /* Test individual comparisons */ test1 : (-5) >= 0; /* Should be false */ test2 : (-5) <= 120; /* Should be true */ /* Test logicalAnd with these values */ result1 : logicalAnd test1 test2; /* false && true = false */ result2 : logicalAnd test2 test1; /* true && false = false */ /* Test the original expression step by step */ step1 : (-5) >= 0; /* false */ step2 : (-5) <= 120; /* true */ step3 : logicalAnd step1 step2; /* false && true = false */ /* Test with parentheses */ parens_test : logicalAnd ((-5) >= 0) ((-5) <= 120); ..out test1; ..out test2; ..out result1; ..out result2; ..out step1; ..out step2; ..out step3; ..out parens_test;