clarified session_graph_display: restrict sessions to actually required theories;