Refine real-case module