struct_libnormalform_analysers.3