Thanks Moult.
Why do not you use IfcPolygonalFaceSet?
I see only justification to use IfcTriangulatedFace.Normals, it any cases IfcPolygonalFaceSet is preferable. Or am I missing?
Well, corrected question: is anybody using IfcTriangulatedFaceSet with Normals for export?