On Sufficient Conditions for the Existence of Stable Matchings with Contracts