proposition: Lemma gtree_partition_right t : gtree_pair_partition t (GtreePair GtreeEmpty t).
proof: Proof. by move=> w; rewrite gtree_mem_empty; case: ifP. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq) fourcolor(color ctree chromogram gtree)