Add program refinement rules