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