2nd commit. Partial taint analysis is done. varkeys and annotatednodes
are changed from arraylist to set.