Revert "Bugfix to support multiple edges between the same MBBs with different probabilities in the backend."

Has been fixed with avoiding duplicate edges in if-converter

This reverts commit 374585b36663f9d75aada0d7a2282bab147a7cb4.
Keep track of fallthrough edges in PatmosFunctionSplitter, do not rely on successors