use rustc_middle::mir::visit::Visitor;
use rustc_middle::mir::Body;
use rustc_middle::mir::ConstOperand;
use rustc_middle::mir::Location;
use rustc_middle::mir::traversal;