Added DEBUG field as it is needed by JimpleBasedInterproceduralCFG