Justification of not instrumenting DivLit added