Also, it's unclear to me what the optimizer would be supposed to do if an assumption turns out to be false.
Bad... bad... things...
Also, it's unclear to me what the optimizer would be supposed to do if an assumption turns out to be false.
Bad... bad... things...