1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
# # number of conflicts must be ZERO. # class A rule targ: operation voidhead | variable voidhead : void B void: operation: A variable : A end