JuMP-level branching, plus bugfix in set_constrLB/UB