Improve variable ordering in counter-example display
Change -no_dot to -encode and handle brackets as well