Need to convert mu bound variables to CRec