sem [ add sub and or xor ]
{ Rx(rd, op(Rx(rs1),get_src2(i,rs2,simm13) )); }
where op in [ + - & | ^ ];