Propagation of Microlocal Smoothness Along a Compact Bicharacteristic Segment