How to figure out while dyVariable nE is not in the maximum cardinality matching”

See