Fix a very important bug: the outer interface must be cleared between
two consecutive tainting. The numbers of resolved/detected branches are
significantly improved.