assume.ll 2.3 KB