Find a way to detect the beginning of a loop
Depending on the heuristics for inserting "potential yields" (instructions that maintain a counter and yield to the scheduler when reaching a certain threshold), we might not want to insert that code in front of every basic block or jump/branch instruction.
Find out how to get information about a basic block (or its entry point) that would allow us to see whether it is a part/beginning of a loop.