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