Fixes untainted branch that is immediately after relaxed loads