Запор у 2-месячного ребенка на ИВ--это норма, или повод сменить смесь?

Практически сразу после роддома начались колики, малыш плакал полдня и практически всю ночь, почти ни один из способов не помогал избавиться от них. Мы тогда были на смешанном вскармливании. Стул был 5-6 раз в день, неоформленный, с комочками. Молока у меня тем временем становилось всё меньше, я потихоньку переводила его полностью на смесь (кушали с роддома Энфамил). После очередной бессонной ночи вызвала врача, он прописал пить Плантекс, Бифидумбактерин, и сдать анализы на лактазную недостаточность и дисбактериоз. Мы сдали--у нас дисбактериоз и умеренная лактазная недостаточность. Это всё мы сделали в 1,5 месяца. Нам прописали пить лактазу беби по капсуле при каждом кормлении. Параллельно с этим продолжали принимать бифидумбактерин. И параллельно я решила не покупать смесь, а подавать ту, что дают на молочной кухне--Микамилк.
Сейчас, к 2-месяцем, что мы имеем: ребенок стал спать практически всю ночь, и несколько часов в течении светлого времени суток. Когда не спит--изучает окружающий мир, пытается разговаривать, или немного капризничает. Однако стул стал редкий, ребенок часто тужится, сучит ножками, видно что его это беспокоит. Почти каждый день приходится ему помогать с помощью газоотводочки. Какает 1 раз в день с ее помощью, и 1 раз--сам. Стул стал оформленный, но мне кажется туговат, как пластилин почти.

Мамочки, у кого детки на ИВ, скажите пожалуйста, это норма?? Так и должно быть при ИВ до 3-4 месяцев, пока у них не сформируется желудок?.. Стоит ли менять смесь, может он должен ходить в туалет раза 3-4 в день сам?