Abdominal imaging
The clots causing renal infarct are usually embolic in etiology but no cardiac source was found. A patent foramen ovale was eventually detected by "bubble" echocardiography, i.e. paradoxical thromboembolism.