Improved realistic abstraction in counterexample

Renamed Logger to ConsoleLogger. Added IWorkflow abstraction to
counterexample for parity (and to be less of a strawman)