code: def _adjust_truism(t):
          
          if t.args[0].cardinality == 1 and t.args[1].cardinality > 1:
              swapped = Balancer._reverse_comparison(t)
              return swapped
          return t
docs: Swap the operands of the truism if the unknown variable is on the right side and the concrete value is on the
          left side.