This analysis assigns to each operation a flag which is True
if this operation is completely and functionally defined on its input types,
i.e., deterministically reducible for all ground data terms as inputs.
Thus, an operation is totally and functionally defined if
Hence, this analysis combines the analyses Functional
and Total.