I think this has to do with it being a blowout and you only having starters on the bench. I'm guessing the position swap is coded before the check for blowouts and starters. The GE wanted to change either Vito or Lin and when it realized it would have to put a starter back in, it decided to opt back to the original formation.