A Separator-Based Framework For Graph Matching Problems