Ask HN: What yet-to-be-written Erlang analysis tool would you like to have?

There a number of useful tools for random testing, static analysis, coverage analysis for Erlang (eg, dialyzer, PropEr, QuickCheck). Yet, I believe there's still space for other tools.

What yet-to-be-written Erlang static/dynamic analysis tool would you like to have in your code path?