fix the bug with "relate alias values with source taint values"