Return a sequence from production::rhs
Add test for empty RHS
Store a sequence in production
Update first production ctor
Update second ctor