Commit corresponding to the submission to ATVA as a tool paper.