Support for BARON
Support for NaN in initial iterate
Better control of bound propagation