Test out Saxon's problem with OASIS catalogs