abstract public AbstractTACBranchSensitiveTransferFunction<AC> getAliasTransferFunction(DeclarativeRetriever retriever);
abstract public ILatticeOperations<AC> getAliasLatticeOps();
protected void reportResults(MethodDeclaration methodDecl, ConstraintChecker checker) {
EclipseTAC tac = this.getInput().getComUnitTACs().unwrap().getMethodTAC(methodDecl);
ErrorReporterVisitor<AC> errVisitor = new ErrorReporterVisitor<AC>(this, checker, reporter, tac, compUnitName);
methodDecl.accept(errVisitor);
}