Clarify in flattening algo that the check looks for @id after removing uses

This addresses #258, see also 1798aa242a2590af9d92680e0a370b6bb6d7258b