IFC Builder Sfalsamenti, verifica e esportazione in IFC4