Fix a bug in the descends function.
Fix generated code.
Update generated module; add fresh/0.
Update tests.