DebugInfo: Accurate location information for complex assignment