Artifacts for the user study on type qualifier inference tools