public IsNullValueFrame getFactAtLocation(Location loc) {
public IsNullValueFrame getFactAtLocation(Location loc) throws DataflowAnalysisException {
	public IsNullValueFrame getFactAtLocation(Location loc) {		return getAnalysis().getFactAtLocation(loc);	}