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