assume-equal.ll 8.34 KB