Strong Equivalence of RASP Programs