Higher-order property analysis
------------------------------

This analysis analyzes the higher-order status of an operation,
i.e., it shows whether an operation is first order or
it is higher-order since has functional arguments or results
or processes data structures with functional components.
