Nonlinear Timeline Sanity Checks Aided By Branching Summaries