Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix (Logical Methods in Computer Science, 2020)