create a     : 
a := a       : 
a ?= a       : 
fa (a)       : 
create {expanded A} a : 
a := a       : expanded A := expanded A (1)
a ?= a       : expanded A := expanded A (2)
fa (a)       : expanded A := expanded A (3)
create {expanded A} b : 
a := b       : expanded A := expanded A (1)
a ?= b       : expanded A := expanded A (1)
fa (b)       : expanded A := expanded A (1)
create {expanded A} b : 
b := b       : expanded A := expanded A (1)
b ?= b       : expanded A := expanded A (2)
fb (b)       : expanded A := expanded A (3)
Execution completed