Fix implementation of PC instruction

Author: markusscherer

src/main/java/it/unipr/cfg/Pc.java

@@ -44,11 +44,7 @@ public String toString() {
 	public <A extends AbstractState<A>> AnalysisState<A> forwardSemantics(AnalysisState<A> entryState,
 			InterproceduralAnalysis<A> interprocedural, StatementStore<A> expressions) throws SemanticException {
 
-		// we can safely suppose that there exists just one node incoming to
-		// this node
-		Statement incomingNode = getCFG().getIngoingEdges(this).stream().map(t -> t.getSource()).findAny().get();
-
-		Constant pc = new Constant(Untyped.INSTANCE, ((ProgramCounterLocation) incomingNode.getLocation()).getPc(),
+		Constant pc = new Constant(Untyped.INSTANCE, ((ProgramCounterLocation) getLocation()).getPc(),
 				getLocation());
 		return entryState.smallStepSemantics(new it.unive.lisa.symbolic.value.UnaryExpression(Untyped.INSTANCE, pc,
 				PcOperator.INSTANCE, getLocation()), this);
@@ -59,4 +55,4 @@ protected int compareSameClass(Statement o) {
 		// we cannot have more than one statement on the same code location
 		return 0;
 	}
-}
+}