updated SimpleTaintEngine and README.md