Updated comment
Test now succeeds.
Remove unnecessary gen_empty include.
Use IDENTITY and EMPTY in place of GRN_EMPTY, GEN_ONE, and GEN_ZERO.