rnk accepted this revision. rnk added a comment. This revision is now accepted and ready to land. Given your coming changes, yeah, this naming makes sense. We should ask the people who cared about the nomenclature when Sanjoy added mayBeDeRefined, though. http://reviews.llvm.org/D20108