mu-mmint: Refactor refinement listener and function names