diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 8632bc0..60c8749 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -11,6 +11,7 @@ on:
 jobs:
   build:
     strategy:
+      fail-fast: false
       matrix:
         jdk: [ 8, 11, 17 ]
     runs-on: ubuntu-latest
diff --git a/src/ontology/OntologyInferenceAnnotatedTypeFactory.java b/src/ontology/OntologyInferenceAnnotatedTypeFactory.java
index 9ca5aa1..81214c3 100644
--- a/src/ontology/OntologyInferenceAnnotatedTypeFactory.java
+++ b/src/ontology/OntologyInferenceAnnotatedTypeFactory.java
@@ -17,6 +17,7 @@
 import ontology.qual.OntologyValue;
 import ontology.util.OntologyUtils;
 import org.checkerframework.common.basetype.BaseAnnotatedTypeFactory;
+import org.checkerframework.framework.qual.TypeUseLocation;
 import org.checkerframework.framework.type.AnnotatedTypeFactory;
 import org.checkerframework.framework.type.AnnotatedTypeMirror;
 import org.checkerframework.framework.type.treeannotator.ListTreeAnnotator;
diff --git a/testing/ParameterizedTypeTest.java b/testing/ParameterizedTypeTest.java
new file mode 100644
index 0000000..f191957
--- /dev/null
+++ b/testing/ParameterizedTypeTest.java
@@ -0,0 +1,17 @@
+interface Iterator<T> {
+    T next();
+}
+
+abstract class CursorIterator implements Iterator<Double> {
+}
+
+abstract class Matrix {
+    public void multiply1(CursorIterator it) {
+        double x = it.next();
+    }
+
+    public void multiply2(CursorIterator it) {
+        double x;
+        x = it.next();
+    }
+}