Recursion detection: Currently the FunnelWeb analyser flags, with an error, all macros with an infinite expansion. This would be best changed to flagging all macros that are directly or indirectly recursive. To do this, Tarjan's algorithmTarjan72Robert EndreTarjan for the detection of strong components should be installed.recursiondetection
Once only macros: By default FunnelWeb prevents a macro from being called more than once unless it has a @M associated with it. However, FunnelWeb does allow a macro that calls such a macro to be called more than once. Perhaps this loophole should be plugged somehow.