Index: src/benchmark/creation/cfa_cor.c
===================================================================
--- src/benchmark/creation/cfa_cor.c	(revision b7170a64af11df6abeb2aee55e86f2c43cc0923d)
+++ src/benchmark/creation/cfa_cor.c	(revision 6a5be52db68460f917313bc7fb311cfb03b0f0c1)
@@ -5,5 +5,6 @@
 
 coroutine MyCoroutine {};
-void main(MyCoroutine * this) {}
+void ?{} (MyCoroutine & this) { prime(this); }
+void main(MyCoroutine & this) {}
 
 int main(int argc, char* argv[]) {