Trestle: only set the resolution count if resolutions are unflattened