add jf checker file(2 .bc)