#
# number of conflicts must be ZERO.
#

class A
rule
  targ: operation voidhead
      | variable
  
  voidhead : void B
  void:
  
  operation: A
  variable : A
end