assume_inevitable.ll 3.68 KB