Add script to check provenance of reduced trees