diff --git a/src/main/gov/nasa/jpf/symbc/concolic/ConcreteExecutionListener.java b/src/main/gov/nasa/jpf/symbc/concolic/ConcreteExecutionListener.java
index ace0899c..c287dbc8 100644
--- a/src/main/gov/nasa/jpf/symbc/concolic/ConcreteExecutionListener.java
+++ b/src/main/gov/nasa/jpf/symbc/concolic/ConcreteExecutionListener.java
@@ -64,8 +64,8 @@ public ConcreteExecutionListener(Config conf, JPF jpf) {
 	public void instructionExecuted(VM vm, ThreadInfo currentThread, Instruction nextInstruction, Instruction executedInstruction) {
 
 		Instruction lastInsn =  executedInstruction;
-		MethodInfo mi = executedInstruction.getMethodInfo();
 		if(lastInsn != null && lastInsn instanceof JVMInvokeInstruction) {
+			MethodInfo mi =((JVMInvokeInstruction)lastInsn).getInvokedMethod();
 			boolean foundAnote = checkConcreteAnnotation(mi);
 			if(foundAnote) {
 				ThreadInfo ti = vm.getCurrentThread();
@@ -214,4 +214,4 @@ private Expression generateConstant(String typeVal, Object value) {
 		}
 	}
 
-}
\ No newline at end of file
+}