changing behavior of reasoning wrt migration