Changing display of counter example
Fixing indent + input reminder on counterExample
Setting vertices size