removed an assertion about parameters for machines being symbols now that lists use parameter fields