LLVM pass that determines program dependencies (control and data) for a given LLVM IR program.