create a     : 
a := a       : 
a ?= a       : 
t ?= a       : 
fa (a)       : 
attached a   : 
attached {A}a: 
attached {TEST}a: 
create {B} a : 
a := a       : B := B (1)
a ?= a       : B := B (2)
t ?= a       : 
fa (a)       : B := B (3)
attached a   : B := B (3)
attached {A}a: B := B (3)
attached {TEST}a: 
create {B} b : 
a := b       : B := B (1)
a ?= b       : B := B (1)
t ?= b       : 
fa (b)       : B := B (1)
attached b   : B := B (1)
attached {A}b: B := B (1)
attached {TEST}b: 
create {B} b : 
b := b       : B := B (1)
b ?= b       : B := B (2)
b ?= a       : B := B (2)
fb (b)       : B := B (3)
attached b   : B := B (3)
attached {B}b: B := B (3)
attached {B}a: B := B (2)
Execution completed