With this property the optimizer could specify, for example, where in the execution the case was generated, so it may be properly handled.