4,8c4,8
< get_struct reg(...) plus/5
< unify_variable reg(...)
< unify_variable reg(...)
< unify_variable reg(...)
< unify_variable reg(...)
---
> get_struct reg(U1) plus/5
> unify_variable reg(U2)
> unify_variable reg(U3)
> unify_variable reg(U4)
> unify_variable reg(U5)
10c10
< get_struct reg(...) t/2
---
> get_struct reg(U4) t/2
13,17c13,17
< get_struct reg(...) t/2
< unify_value reg(...)
< unify_variable reg(...)
< get_struct reg(...) g/1
< unify_variable reg(...)
---
> get_struct reg(U5) t/2
> unify_value reg(U2)
> unify_variable reg(U6)
> get_struct reg(U6) g/1
> unify_variable reg(U7)
20c20
< get_const reg(...) l
---
> get_const reg(U1) l
24,28c24
< J = reg(...), 
< V = reg(...), 
< X = reg(...), 
< Y = reg(...).
< 
---
> J = reg(@), V = reg(@), X = reg(@), Y = reg(@).
