Clean Composition Theorem for Fourier Integral Operators