diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/po/annotations/POAnnotatedStatement.java b/vdmj/src/main/java/com/fujitsu/vdmj/po/annotations/POAnnotatedStatement.java
index 86f2e2875..f1268078d 100644
--- a/vdmj/src/main/java/com/fujitsu/vdmj/po/annotations/POAnnotatedStatement.java
+++ b/vdmj/src/main/java/com/fujitsu/vdmj/po/annotations/POAnnotatedStatement.java
@@ -57,7 +57,7 @@ public String toString()
 	public ProofObligationList getProofObligations(POContextStack ctxt, POGState pogState, Environment env)
 	{
 		annotation.poBefore(this, ctxt);
-		ProofObligationList obligations = statement.getProofObligations(ctxt, null, env);
+		ProofObligationList obligations = statement.getProofObligations(ctxt, pogState, env);
 		annotation.poAfter(this, obligations, ctxt);
 		return obligations;
 	}