[polyml] Tracing function calls