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