public TypeFrame getFactAfterLocation(Location loc) { return analysis.getFactAfterLocation(loc); }
public TypeFrame getFactAfterLocation(Location loc) { return getAnalysis().getFactAfterLocation(loc); }
	public TypeFrame getFactAfterLocation(Location loc) { return analysis.getFactAfterLocation(loc); }