This analysis analyzes the higher-order status of an operation. It classifies an operations as higher-order since if it has functional arguments or results, or or it processes data structures with functional components.