control-equivalence.cc 7.17 KB