Higher-order constructor analysis
---------------------------------

This analysis is a simple analysis for data constructors.
It associates to each data constructor a flag indicating
whether some argument contains functions.
