Add some branch assertions.