No more untaint and if-if-else ambiguity solving