Mining unit test cases to synthesize API usage examples. Issue 12 (20th January 2017)