Move Verify interpreter to logger.