@Test
public void undefined_var_semantic_check_failed() {

  SemanticCheckException exception = assertThrows(SemanticCheckException.class,
      () -> analyze(
          AstDSL.and(AstDSL.unresolvedAttr("undefined_field"), AstDSL.booleanLiteral(true))));
  assertEquals("can't resolve Symbol(namespace=FIELD_NAME, name=undefined_field) in type env",
      exception.getMessage());
}