source: caseStudy_Huffmann/huffmann/huff_any_text/safe_rob1.ctl

!(
(plain<0> = 0 ^ plainG<0> = 1) *
(plain<1> = 0 ^ plainG<1> = 1) *
(plain<2> = 0 ^ plainG<2> = 1) *
(plain<3> = 0 ^ plainG<3> = 1) *
(plain<4> = 0 ^ plainG<4> = 1) *
(plain<5> = 0 ^ plainG<5> = 1) *
(plain<6> = 0 ^ plainG<6> = 1) *
(plain<7> = 0 ^ plainG<7> = 1) 
);