I thought this turned out to be a bug in the solver?