Using Well-Structured Transition Systems to Decide Divergence for Catalytic P Systems