ILatticeOperations<AC> ops = getAliasLatticeOps();
RelationshipTransferFunction<AC> tfR = new RelationshipTransferFunction<AC>(this, constraints, infers, types, retriever, aliasTF, ops);
fa = new TACFlowAnalysis<FusionLattice<AC>>(tfR, this.analysisInput.getComUnitTACs().unwrap());
ConstantTransferFunction tfC = new ConstantTransferFunction();
constants = new TACFlowAnalysis<TupleLatticeElement<Variable, BooleanConstantLE>>(tfC, this.analysisInput.getComUnitTACs().unwrap());
RelationshipContext finalLattice = fa.getEndResults(methodDecl).getRelContext();
reportResults(methodDecl, tfR.getConstraintChecker());