CLAM Specification for Provably Correct Compilation of CLP(R) Programs