public String toString() { if (param != null) { return "cfg: " + param.toString(); } else if (bb != null) { return "cfg: " + Util.prettyBasicBlock(bb); } else if (call != null) { return "cfg: " + call; } else if (artificial != null) { return "cfg: " + artificial; } else { return "cfg: empty"; } }