fix: pass VariableUnit of diff var while converting it to a Term
#4309
| Job | Run time |
|---|---|
| 19m 11s | |
| 31s | |
| 31s | |
| 27s | |
| 19m 33s | |
| 15m 25s | |
| 17m 22s | |
| 19m 42s | |
| 36s | |
| 16m 18s | |
| 20m 22s | |
| 17m 18s | |
| 15m 38s | |
| 2h 42m 54s |