Fixed a bug in the explanation continuity constraints -- they have to be built for each b_i!