Function interpretations should be able to handle non-denoting tuples properly

For a partial function f/2, if f(1,2) has no image (is non-denoting), this can only be expressed by putting all tuples (1,2,x) into the CF table. This defies the purpose of supporting partial functions in the solver (e.g. for very large codomains).

In attachment, a related file where the interpretation cannot be printed, while it is known and finite.