Quick prototype of source annotations over IR