bottleneck on `Expr.equal`

[redianthus]

It takes 4% of the whole execution time on Test-Comp with a 30 seconds timeout.