assume.ll 6.16 KB