improved registers taint analysis
a lot of changes