Parse XML files.
Enforce our checks, even for redefinitions.
Enforce checks even for redefinitions.
Reflexivity and irreflexivity for redefined predicates.  Mode coherence for mode redefinitions.
Use the new XML parser.