Implemented a statement queue verification.