fix: pass VariableUnit of diff var while converting it to a Term
#4358
| Job | Run time |
|---|---|
| 1m 3s | |
| 0s | |
| 1m 3s |
VariableUnit of diff var while converting it to a Term
#4358
| Job | Run time |
|---|---|
| 1m 3s | |
| 0s | |
| 1m 3s |