added a failed example of mimicking popl2014 paper