What are the branches dots?

[jadaml]

I'm trying to figure out a branch not being covered in my code, and have difficulties defining the case covering it.

Are they the jump statements in the order they appears in IL code? Are they filled when the jump is executed, and not when the target instruction gets executed?