The RHS of epsilon rules can now be empty
Fixed epsilon rules not reducing correctly