Benämningarna migrationsdomstol och Migrationsöverdomstol tillkom i samband med att den nu gällande instans- och processordningen i utlännings- och medborgarskapsärenden infördes .