Adds [[assume(expr)]] to tell the optimizer a condition holds without evaluating it.
[[assume(expr)]]