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