EliminateBoolVectors  221 src/EliminateBoolVectors.cpp     return EliminateBoolVectors().mutate(s);
EliminateBoolVectors  225 src/EliminateBoolVectors.cpp     return EliminateBoolVectors().mutate(e);