public AbstractTACBranchSensitiveTransferFunction<PointsToAliasContext> getAliasTransferFunction(DeclarativeRetriever retriever) {
return new MayPointsToTransferFunctions(retriever, getHierarchy());
}
public ILatticeOperations<PointsToAliasContext> getAliasLatticeOps() {
return new PointsToLatticeOps(getHierarchy());
}