12-Copatterns: bisimularity for binary trees.