@staticmethod<EOL><INDENT>def _adjust_truism(t):<DEDENT>
if t.args[<NUM_LIT:0>].cardinality == <NUM_LIT:1> and t.args[<NUM_LIT:1>].cardinality > <NUM_LIT:1>:<EOL><INDENT>swapped = Balancer._reverse_comparison(t)<EOL>return swapped<EOL><DEDENT>return t<EOL>
Swap the operands of the truism if the unknown variable is on the right side and the concrete value is on the
left side.