Add Rec(a,r) and Pol(x,y) instructions