Rename Ref1 -> Rec1
Rec1: separate checker