#1: added result printing function to specific printer
#2: now also printing taint path if available
added more test cases for alias analysis