control-equivalence.cc 7.31 KB