Semiclassical Composition Theorem for Left Quantization