External Call Protection

Triggers when a specified contract makes a specified function call. It then checks if the next function call by that contract, within the trace, matches any function from a given list of next_call functions.

One application of this is to create guards to white/blacklist low-level calls within your functions.