Clean Composition Theorem for Properly Supported Fourier Integral Operators