murder-1.2: MUtually Recursive Definitions Explicitly Represented