fix: make elabAsElim aware of explicit motive arguments
#19471
| Job | Run time |
|---|---|
| 5s | |
| 28m 59s | |
| 19m 8s | |
| 39m 11s | |
| 51m 1s | |
| 33m 10s | |
| 24m 2s | |
| 48m 9s | |
| 19m 35s | |
| 23m 53s | |
| 38m 40s | |
| 2s | |
| 0s | |
| 0s | |
| 5h 25m 55s |