analyse

type FlowPermutation struct {
	Blocks []*ProgBlock
	Return []*ProgBlock
}

type ProgBlock struct {
	Index int
	// The current block of code
	Block asm.Instructions

	// The next block of we don't branch
	NoBranch *ProgBlock
	// The next block if we do branch
	Branch *ProgBlock
}