Improve reporting of reachable postulates.