not propagating into functions handled exclusively by the taint wrapper anymore when performing a backwards alias search