RBX Trace: 0094|SYNTAX#0: IF RULE(0009) = LITERAL (0001)
RBX Trace: RULE (0009) = Hello world
RBX Trace: LITERAL (0001) = Hello world
RBX Trace: RULE (0009) = LITERAL (0001)
RBX Trace: The phrase represents a condition that is true
Phrases are traced by some or all of the above messages, as necessary and appropriate when TRACE=YES.