Finished forStatement() - finalStep(), including all associated analyzer functions