Induced Model Matching: How Restricted Models Can Help Larger Ones