Optimize away wrong assumptions.