Pluto "custom cell"

I don’t write it myself. There’s a sequence of assignments, where a student writes a simple function, then uses it to write a slightly more complex function. The name of a function is fixed,
so checking for its presence in an expression tree should not be hard.

You could ask: “is there a way to use Julia’s introspection tools to check whether a function
a uses a function b in its definition?”

That’s a good idea