Relate evaluate_prog' to evaluate_prog