Integrated phase 1 bounds check with backend

Involves calling the loop collector and then passing the loopInfoMap to the prelimBce function.