Check condition code for branches

[rbertran]

Branches are defined as conditional and not conditional when generating the CFG.
Improve that definition to check the 'condition' code so that conditional branches with the condition always taken/not taken will be recognized as non-conditional branches in the CFG.

Support to be added to:

• ppc64
• ppc64le
• s390x
• riscv

[rbertran]

Control flow analysis for path creation approach is not a high priority anymore since we are able to reproduce the full state.