[feature] coverage check

[xieyuheng]

To support recursive function, beside termination-check we also need coverage-check.

The coverage-check of function clauses, can be implemented separately from the termination-check.

Solution 1:

• Compute the max depth of all patterns in all clauses of a function.
• Generate data up to the given depth.
• Assert all generated data are covered by the clauses.