choledocholithiasis Synonyms