Complete PrivacyInfoLeakTraversal and fixed several bugs relvant to SMT2
translator