Added tests for Arithmetic. Checked again old SDF2 rules and generated SDF2 rules