Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS