Learning framework for program property prediction - View it on GitHub