Function splitter: calculate margins of SCCs and blocks with multiple branches correctly