WKB quantization