Title: Custom Name Tracing for Devin