Fold solve-by-subgames logic into general Nash solver architecture.