Part of #253 (closed)
Instructions : IIs_nat, IAbs_int, IAdd_nat, ISub_int
IIs_nat
IAbs_int
IAdd_nat
ISub_int