murder-1.1: MUtually Recursive Definitions Explicitly Represented