nandini12396 added a comment. @Meinersbur : Hello Sir, I know you said to fetch the domain of the BB `(CI->getParent())` without needing to pass a statement for it in getDomainConditions. But I was wondering why this solution is wrong? https://reviews.llvm.org/D35691