protected void assignObjectToImpl(ReferenceVariable lhs, AbstractObject obj) {
    AllocNode objNode =
        pag.makeAllocNode(new Pair("AbstractObject", obj.getType()), obj.getType(), null);

    VarNode var;
    if (lhs instanceof FieldRefNode) {
      var = pag.makeGlobalVarNode(objNode, objNode.getType());
      pag.addEdge((Node) lhs, var);
    } else {
      var = (VarNode) lhs;
    }
    pag.addEdge(objNode, var);
  }
 protected void throwExceptionImpl(AbstractObject obj) {
   AllocNode objNode =
       pag.makeAllocNode(new Pair("AbstractObject", obj.getType()), obj.getType(), null);
   pag.addEdge(objNode, pag.nodeFactory().caseThrow());
 }