Functions to generate sufficient constraints for matchable subgraph polytopes