Vardanyan's theorem for extensions of IE1 by M. de Jong