This version of REFINITY included in releases is detailed in the paper "A Notion of Equivalence for Refactorings with Abstract Execution"
For a general introduction to REFINITY we advise to go through e.g. REFINITY to Model and Prove Program Transformation Rules by Dr. Steinhöfel, D.
Using a recent jdk java -jar key-2.7-exe.jar