@Test
void check_error_typevar_not_defined() {

    t=testee.parse("List <T> -> error<U,V>");
    assertEquals(t.leftValue(),"TS type variable not defined on LHS (T)'U' at pos 18 of expression List <T> -> error<U,V>");
}