public static ImplicitSingleStatementBranches TryGetIfStatementBranches_ConditionalJump(IfStatementSyntax syntax) { var trueAction = syntax.Statement.CollapsedStatements().SingleOrDefaultAllowMany(); if (trueAction == null) return null; if (!trueAction.IsGuaranteedToJumpOut()) return null; if (syntax.Else != null) return null; var followingAction = syntax.ElseAndFollowingStatements().FirstOrDefault(); if (followingAction == null) return null; return new ImplicitSingleStatementBranches(trueAction, followingAction, syntax); }