An unfortunate copy/paste of theme(). This one is called by the devel_themer_catch_function()
and processes all theme calls but gives us info about the candidates, timings, etc. Without this twin,
it was impossible to capture calls to module owned...