[Eva] Revise assign so that if the left-value appears in statement annotation, then it will always be considered tainted.

Without this commit, an assignment 'x = 3' with annotation '//@ taint x;' would had not resulted in 'x' as tainted because '3' is a literal, hence not tainted.