Reflection does not break the static type system in any way. However you are right in assuming the refactorings are in general not correct in the presence of reflection.