Add Attachment:STR-52: Illegal C code for mutual recursive strategies defined in a let