Search is too slow #186
Description
On the Editor tab, try to find assertions matching the pattern ( A + ( B + C ) ) = ( ( A + B ) + C ). Assertions are found but it takes a lot of time to finish the search.
{{ message }}
On the Editor tab, try to find assertions matching the pattern ( A + ( B + C ) ) = ( ( A + B ) + C ). Assertions are found but it takes a lot of time to finish the search.