def _align_ast(self, a):
try:<EOL><INDENT>if isinstance(a, BV):<EOL><INDENT>return self._align_bv(a)<EOL><DEDENT>elif isinstance(a, Bool) and len(a.args) == <NUM_LIT:2> and a.args[<NUM_LIT:1>].cardinality > a.args[<NUM_LIT:0>].cardinality:<EOL><INDENT>return self._reverse_comparison(a)<EOL><DEDENT>else:<EOL><INDENT>return a<EOL><DEDENT><DEDENT>except ClaripyBalancerError:<EOL><INDENT>return a<EOL><DEDENT>
Aligns the AST so that the argument with the highest cardinality is on the left.

:return: a new AST.