Fixed bug in Analyzer::reachedFinalCell(). Allowed single argument for run_benchmarks.bat.