/test/language/unclassified/wj/aux_wj01a0.e

 1class AUX_WJ01A0
 2
 3create {ANY}
 4   make
 5
 6feature {ANY}
 7   make (s: STRING)
 8      do
 9         x0 := s
10         if x0 /= Void then
11            x0 := s.twin
12         end
13      end
14
15   x0: STRING
16
17end -- class AUX_WJ01A0