Added another saving function to eval_util for tracking down non-determinism