fixed the false negative; TODO: deal with getNewTrpByNullAssgn()