Diagnosis of Budd–Chiari syndrome