Use pseudo instruction ABC instead of BC
Enhance ABC converter (inst.ml)

Branch to near label is converted to BT/BF