Fix below derivation for some constructors.
Fix below derivation for some constructors.

The derivation was incomplete whenever a non-recursive
argument followed a recursive one, like in the following type:

Inductive L := N | R : L -> nat -> L.

mattam82/Coq-Equations,mattam82/Coq-Equations