case :a
in B(C => d)
  :d
end
