The current branch analysis module looks at too
fine-grained a level.
Complex boolean statements, such as:
if ((i == 0 || b) && (x != null || i != 0))
Results in many branch probes being inserted into the
bytecode, rather than just one.
This isn't really an issue with the current branch
analyzer, as this is documented behavior.
To resolve this, another branch analyzer should be
created, one with "smarts" to detect these situations.