The node swapping process in the translation from batfish is not working properly. I believe simple networks do not demonstrate this bug, but when there are a few more nodes in the routing policy things get messed up. USCarrier is affected by this (node peertoccoa for instance).