fact: Fixpoint gtr_mem r w := if r isn't GtrCons bs t r' then false else has_match bs (ctree_mem t) w || gtr_mem r' w.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq) fourcolor(color ctree chromogram gtree)