[sapiogram]

Both statements don't need to be true. The compiler just has to prove that at least one of the statements will always be true.

[asdfaoeu]

True but it only has no side effects if it's well defined. The compiler can assume it's well defined but only if it's executed.