[m-rev.] for review: Declare rtti_implementation.functor_number_cc as cc_nondet.

[Julien Fischer]

On Tue, 27 Oct 2020, Peter Wang wrote:

> rtti_implementation.m:
>    As above.
>
> deconstruct.m:
>    Remove now unnecessary pragma no_determinism_warning.

That's fine.

Julien.