private FlowState<LiveVariablesAnalysis.LiveVariableLattice> getFlowStateAtX(String src) { liveness = computeLiveness(src); return getFlowStateAtX(liveness.getCfg().getEntry().getValue(), liveness.getCfg()); }