If we have multiple EOG edges the branch property indicates which EOG edge leads to true branch (expression evaluated to true) or the false branch (e.g. with an if/else condition). Otherwise, this property is null.