For the extended version of the rabbit hole paper, we want to experiment with providing a lower context gas that is instead tracked per fundec.

In this way, only calls to functions for which the gas has been exhausted are analyzed without context, but any function called from such functions will be analyzed context-sensitively again to limit the precision loss in cases where it is not required for termination.