Fix bugs which prevented MIP warm-start