MADS: Minor renamings and added display of walk nodes to debugger