Reading project file project.prj...
Running the test...
J = .
H : A | F.
G = boolean .
F = .
E = G .
D = G H A  *extends* C .
C ~ {J} .
B : C | E *common* F J .
A = B .