Dominator Tree LLVM Pass to Test Satisfiability - View it on GitHub