Shifted the order of the bind and unbind logic so that the assertions are prior to the instruction execution