Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic