private IFCAnnotationManager annManager;
private IStaticLattice<String> secLattice;
private IFCType ifcType = IFCType.CLASSICAL_NI;
private IFC<String> ifc;
private boolean timeSensitiveAnalysis = false;
<BUG>private boolean removeRedundantFlows = false;
public static final IStaticLattice<String> stdLattice = BuiltinLattices.getBinaryLattice();</BUG>
private static Logger debug = Log.getLogger("api.debug");
public IFCAnalysis(SDGProgram program, IStaticLattice<String> secLattice) {
if (program == null || secLattice == null) {

private IFCAnnotationManager annManager;
private IStaticLattice<String> secLattice;
private IFCType ifcType = IFCType.CLASSICAL_NI;
private IFC<String> ifc;
private boolean timeSensitiveAnalysis = false;
private boolean removeRedundantFlows = false;
private Multimap<SDGProgramPart, Pair<Source,String>> sources = null;
private Multimap<SDGProgramPart, Pair<Sink,String>> sinks = null;
public static final IStaticLattice<String> stdLattice = BuiltinLattices.getBinaryLattice();
private static Logger debug = Log.getLogger("api.debug");
public IFCAnalysis(SDGProgram program, IStaticLattice<String> secLattice) {
if (program == null || secLattice == null) {
