The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation