State initState = new State(factory.getMaxObligationTypes());
State initState = new State(factory.getMaxObligationTypes(), factory);
	public void initEntryFact(ObligationFactory factory) {		this.isTop = this.isBottom = false;		this.stateMap.clear();				// Add initial fact: empty obligations, empty path		State initState = new State(factory.getMaxObligationTypes());		this.stateMap.put(initState.getObligationSet(), initState);	}