[Scan] better tracing API
[Eval] output trace on bad function call