override new added abstract method
finish calling, add address to JimpleCondition address.
merge
add more abstract methods