assume.ll 12.5 KB