Fix tabs, add verify_productions.