@@ -19,10 +19,6 @@ module AstTest {
         value = p.getName()
       )
     }
-
-    predicate hasOptionalResult(Location location, string element, string tag, string value) {
-      none()
-    }
   }
 }
 
@@ -49,10 +45,6 @@ module IRTest {
         value = stars(n.getIndirectionIndex()) + p.getName()
       )
     }
-
-    predicate hasOptionalResult(Location location, string element, string tag, string value) {
-      none()
-    }
   }
 }
 
 
@@ -27,10 +27,6 @@ module LocalFlowSourceTest implements TestSig {
       element = node.toString()
     )
   }
-
-  predicate hasOptionalResult(Location location, string element, string tag, string value) {
-    none()
-  }
 }
 
 import MakeTest<LocalFlowSourceTest>
@@ -156,7 +156,11 @@ module Make<InlineExpectationsTestSig Impl> {
      * A failure will still arise if there is an annotation that does not match any results, but not vice versa.
      * Override this predicate to specify optional results.
      */
-    predicate hasOptionalResult(Impl::Location location, string element, string tag, string value);
+    default predicate hasOptionalResult(
+      Impl::Location location, string element, string tag, string value
+    ) {
+      none()
+    }
   }
 
   /**
Original file line number	Diff line number	Diff line change
`@@ -19,10 +19,6 @@ module AstTest {`
`19`	`19`	`value = p.getName()`
`20`	`20`	`)`
`21`	`21`	`}`
`22`		`-`
`23`		`- predicate hasOptionalResult(Location location, string element, string tag, string value) {`
`24`		`- none()`
`25`		`- }`
`26`	`22`	`}`
`27`	`23`	`}`
`28`	`24`
`@@ -49,10 +45,6 @@ module IRTest {`
`49`	`45`	`value = stars(n.getIndirectionIndex()) + p.getName()`
`50`	`46`	`)`
`51`	`47`	`}`
`52`		`-`
`53`		`- predicate hasOptionalResult(Location location, string element, string tag, string value) {`
`54`		`- none()`
`55`		`- }`
`56`	`48`	`}`
`57`	`49`	`}`
`58`	`50`
Original file line number	Diff line number	Diff line change
`@@ -27,10 +27,6 @@ module LocalFlowSourceTest implements TestSig {`
`27`	`27`	`element = node.toString()`
`28`	`28`	`)`
`29`	`29`	`}`
`30`		`-`
`31`		`- predicate hasOptionalResult(Location location, string element, string tag, string value) {`
`32`		`- none()`
`33`		`- }`
`34`	`30`	`}`
`35`	`31`
`36`	`32`	`import MakeTest<LocalFlowSourceTest>`