platin: Correct prediction costs for unconditional branches.
platin: Insert misprediction edges when manipulating flowfacts.
platin: Fix misprediction constraints for scope-leaving edges.