Separate local and inline variables
Use layout for console counterexample display