I don't have any technical knowledge like other who have posted here, however, I've been flying transport jets myself since 1978, current wide body captain, and I've never heard of fuel icing of this nature. Certainly, in most cases, such an occurrence would not be a one time thing, considering how many hours are flown each day by different types of aircraft exposed to different cruise altitudes temps and fuel loading conditions; if anyone has any knowledge of a previous occurrence, that might add some credence to this scenario....