also adjust the displayed logic grpah to usable provers