Error: Name clash on component typecomp in file disjoint_names.dl at line 15
.comp typecomp { }
^------------------
Error: Name clash on instantiation typeinst in file disjoint_names.dl at line 19
.init typeinst = typecomp
^-------------------------
Error: Name clash on component relcomp in file disjoint_names.dl at line 24
.comp relcomp { }
^-----------------
Error: Name clash on instantiation relinst in file disjoint_names.dl at line 29
.init relinst = typecomp
^------------------------
Error: Name clash on instantiation compinst in file disjoint_names.dl at line 33
.init compinst = compinst
^-------------------------
Error: Name clash on instantiation compinst2 in file disjoint_names.dl at line 38
.init compinst2 = compinst3
^---------------------------
6 errors generated, evaluation aborted
