Scalable Conditional Induction Variables (CIV) Analysis Scalable Conditional Induction Variables (CIV) Analysis