Changes to support inference with indefinites.