Escape invariants in XML format
Exit with error when record fields are repeated
Switch to DOM parsing
Working on Kind2 API