struct_libnormalform_domain_comparison.3