424       rewrite_both_ = fst.Properties(kAcceptor, true);
426       rewrite_both_ = true;
428       rewrite_both_ = false;
435         rewrite_both_(matcher.rewrite_both_),
478       if (rewrite_both_) {  in Value()
514   bool rewrite_both_;     // Rewrite both sides when both are 'rho_label_'  variable
531     if (rewrite_both_) {  in Properties()
540     if (rewrite_both_) {  in Properties()
598       rewrite_both_ = fst.Properties(kAcceptor, true);
600       rewrite_both_ = true;
602       rewrite_both_ = false;
609         rewrite_both_(matcher.rewrite_both_),
656       if (rewrite_both_) {  in Value()
702   bool rewrite_both_;      // Rewrite both sides when both are 'sigma_label_'  variable
719   } else if (rewrite_both_) {  in Properties()
785       rewrite_both_ = fst.Properties(kAcceptor, true);
787       rewrite_both_ = true;
789       rewrite_both_ = false;
796         rewrite_both_(matcher.rewrite_both_),
833         if (rewrite_both_) {  in Value()
870   bool rewrite_both_;     // Rewrite both sides when both are 'phi_label_'  variable
941     if (rewrite_both_) {  in Properties()
955     if (rewrite_both_) {  in Properties()