LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine