) =      let         fun find_case (done, (EXP_TAG expression, expression')) =     find (find (done, expression), expression')    | find_case (done, (SCON_TAG (Ident.STRING _, _), expression')) =     let       val references =         