Providing a labeled statements dataset to enhance the trans-compilation-based tools | IEEE Conference Publication | IEEE Xplore