fix: get_elem_tactic_trivial to not loop in the presence of mvars
#3414
| Job | Run time |
|---|---|
| 27s | |
| 27s |
get_elem_tactic_trivial to not loop in the presence of mvars
#3414
| Job | Run time |
|---|---|
| 27s | |
| 27s |