Originally I gave each port instance a different unique number, until I realized that all port instances of the same net should have the same number, so I used renumber to fix that. But it didnt helped with this ext2spice problem