critedge-assume.ll 2.79 KB