Update UTNonObliviscar-TestWCDB.out