Add example evaluation via minmax & fix bug in TerminalStateExample