Add IR::BinarySeqInsn
Add IR::Seq::Iadd