more concise logging for merged disambiguator