assume-equal.ll 8.32 KB