equality-assume.ll 4.83 KB