     in       find (references @ done, expression')     end    | find_case (done, (_, expression')) =     find (done, expression')         fun find_option (done, SOME expression) =     find (done, expression)    | find_option (done, NONE) = done      in        Lists.reducel find_case        (find_option (find (done, expression), default), cases)      end     