Analysis of facile programs: a case study