Update yacc_randomized.py