< working for literals and variables, and expressions, provided the expression only exists on the right node or left node, but not in both nodes