private static IEnumerable<StatementSyntax> InlineLargeGuardedBranches2(IfStatementSyntax syntax)
{
Contract.Requires(syntax != null);
var trueIsAGuard = syntax.Statement.IsGuaranteedToJumpOut();
var falseIsAGuard = syntax.Else != null && syntax.Statement.IsGuaranteedToJumpOut();
var preferTrue = trueIsAGuard;
if (trueIsAGuard == falseIsAGuard && syntax.Else != null) {
preferTrue = 2 * syntax.Statement.Bloat() >= syntax.Else.Bloat();
}
if (trueIsAGuard && preferTrue) return syntax.WithUnguardedElse();
if (falseIsAGuard && !preferTrue) return syntax.Inverted().WithUnguardedElse();
return new[] { syntax };
}