replication package for FSE 2021 paper: Learning-based Extraction of First-Order Logic Representations of API Directives - View it on GitHub