> This is variant I comitted. There was one extra problem > in updating df_lr_verify_solution_end: I need to check if verification > was initialized. We could change verify_start_fun to return a bool, and not call verify_end_fun if it is false... Paolo