Ensuring the good invariants of hashcons table generation in the API.