Commend about optimistic branch checking