yacc for nonrandomized problems
merge