Files trims fields in the given files that can be implied from other fields,
as can be derived from the evaluated values in inst.
Trimming is done on a best-effort basis and only when the removed field
is clearly implied by another field, rather than equal sibling fields.