document why attributes are set on CallInst