Assertion fails when recursive types are enabled

Enabling recursive types at line 281 of client/Client.ml causes the assertion assert (0 < rank && rank <= state.young); at line 287 of src/Generalization.ml to fail. Run make test to reproduce.