[Concolic] `select_i32` does not branch.

[filipeom]

During concolic execution select_i32 should record some sort of range or bounds of the value given to it in order to branch properly and explore all the paths.