add method modeling in "EasyTaintWrapperSource.txt"