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