Update prob_stmts.txt