add line number tracing to SourceElements