private IfThrowStatement(ICSharpStatement statement, IfThrowPrecondition contractPrecondition)
     : base(statement)
 {
 }
 public static IfThrowStatement TryCreate(ICSharpStatement statement)
 {
     return(IfThrowPrecondition.TryCreate(statement).Return(x => new IfThrowStatement(statement, x)));
 }