fix: pass VariableUnit of diff var while converting it to a Term
#1612
| Job | Run time |
|---|---|
| 11m 52s | |
| 11m 52s |
VariableUnit of diff var while converting it to a Term
#1612
| Job | Run time |
|---|---|
| 11m 52s | |
| 11m 52s |