tester: enable prop_multiple_equally_applicable rewriter check
#1448
| Job | Run time |
|---|---|
| 1m 58s | |
| 2m 44s | |
| 5m 22s | |
| 1m 45s | |
| 4m 9s | |
| 1m 53s | |
| 5m 25s | |
| 4m 1s | |
| 5m 19s | |
| 2m 58s | |
| 35m 34s |