How are root causes verified during the Analyze phase?