fix a bug in top-level conclusion because of forgetting to cache the node instn results... TAT