Extend productions_valid.