fix: pass VariableUnit of diff var while converting it to a Term
#4312
| Job | Run time |
|---|---|
| 19m 13s | |
| 31s | |
| 38s | |
| 38s | |
| 19m 43s | |
| 15m 34s | |
| 12m 47s | |
| 19m 10s | |
| 40s | |
| 15m 41s | |
| 19m 19s | |
| 18m 6s | |
| 15m 59s | |
| 2h 37m 59s |