Extend FXCop and fix a bug in xml_int (for empty sequence)