diff --git a/base/src/test/java/org/aya/concrete/ParseTest.java b/base/src/test/java/org/aya/concrete/ParseTest.java
index cb7d3d495f..35b7e1bc56 100644
--- a/base/src/test/java/org/aya/concrete/ParseTest.java
+++ b/base/src/test/java/org/aya/concrete/ParseTest.java
@@ -24,8 +24,7 @@
 import org.junit.jupiter.api.BeforeAll;
 import org.junit.jupiter.api.Test;
 
-import static org.junit.jupiter.api.Assertions.assertEquals;
-import static org.junit.jupiter.api.Assertions.assertTrue;
+import static org.junit.jupiter.api.Assertions.*;
 
 @SuppressWarnings("UnknownLanguage")
 public class ParseTest {
@@ -176,7 +175,7 @@ private void parseImport(@Language("Aya") String code) {
   }
 
   private void parseOpen(@Language("Aya") String code) {
-    assertTrue(parseStmt(code).last() instanceof Command.Open s && !s.toDoc(AyaPrettierOptions.debug()).debugRender().isEmpty());
+    assertTrue(parseStmt(code).getLast() instanceof Command.Open s && !s.toDoc(AyaPrettierOptions.debug()).debugRender().isEmpty());
   }
 
   private void parseFn(@Language("Aya") String code) {
@@ -184,7 +183,7 @@ private void parseFn(@Language("Aya") String code) {
   }
 
   private void parseData(@Language("Aya") String code) {
-    assertTrue(parseDecl(code).getFirst() instanceof TeleDecl.DataDecl);
+    assertInstanceOf(TeleDecl.DataDecl.class, parseDecl(code).getFirst());
   }
 
   @Test