6 #alt1# class H[E: Fail] end
14 #alt4#fun f(f: Fail): Fail do return f + 1
16 #alt5#fun f(f: Fail): Fail do return f + 1
20 #alt7#var y = new Fail
31 #alt4# redef fun v do return super + 1
32 #alt4# redef fun f(f) do return f + 1
33 #alt5# redef fun v: Fail do return super + 1
34 #alt5# redef fun f(f: Fail): Fail do return f + 1