Supporting user hypotheses in problem diagnosis | Synapse