Automated Verification of Social Law Robustness in STRIPS