This pass analyzes the control flow of a SSA program to determine
which SSA functions and blocks might be executed more than once or
by more than one thread. It also determines when a program uses
threads and when functions and blocks directly or indirectly invoke
Thread_copyCurrent.